Help in booting L4Linux(on Freescale i.MX6Q) using root file system on SD card.

Hi, l4 hackers

Is there anybody who can a bit give hints about SD card on L4 Linux to 
him ?


On 01/26/2015 09:10 PM, Praveen B wrote:
> Hi Taeung,
>
> Thank you very much.
>
> It is part of my Masters project.
> My project is to run L4Android using Genode(www.genode.org 
> <http://www.genode.org>) framework on Freescale i.MX6 board.
> But root filesystem has to be present on microSD Card. So I am trying 
> to enable SD card support for L4Linux right now.
>
> The guide describes how to enable Ethernet controller. Did you try to 
> enable SD card controller as well? Is it difficult than this?
Yes I tried to enable SD card. But I couldn't do it.
Because I didn't complete modifying 'mach_setup.c' in L4 linux to enable 
SD card.
>
> I have some doubts.
> How do I give names such as,
> NIC => new Device()      --name: NIC
> .hid = "imx6q-fec.0";       --imx6q-fec.0
> "imx6q-fec.dev"              --imx6q-fec.dev
>
> Are they just arbitrary? Can I use any names of my choice if I want to 
> enable SD card support?

Yes, but the name have to make a pair with the name of argument for 
'l4x_register_platform_device_callback()' function.
but I'm not sure it.
>
> The guide still uses ramdisk and not some other rootfs, isn't it?
> Can I modify .cfg file so that I can boot from SD card 
> like(//dev/mmcblk1p1)?/
>
In my opinion, in order to enable SD card in L4 you have to do as below..

1. Register SD card in io server
2. Modify mach_setup.c for SD card
3. Modify SD card driver source code for L4 (if it is needed to enalbe 
SD card in L4)

For anything I know, three things is my thought.

Is there anybody who can a bit give hints to him ?

> Thank you again for creating such a good guide for beginners like me.

My pleasure, I had lots of help from l4-hackers.


Thanks,
Taeung


>
> Regards
> Praveen
>
>
>
> On Mon, Jan 26, 2015 at 9:20 AM, taeung <[email protected] 
> <mailto:[email protected]>> wrote:
>
>     Hi Praveen :-)
>
>     Here it is
>     https://www.dropbox.com/s/os65yqiieay83hs/L4_Porting_and_Device_Driver_Guide.pdf
>
>     I'm sorry to be so late.
>     I forgot it.
>
>     Cheer up !
>
>     Would you mind if I ask you a question about working on L4 Linux ?
>     Is the project homework from your university ?
>
>     Thanks,
>     Taeung
>
>
>
>     On 01/23/2015 06:47 PM, Praveen B wrote:
>>     Hi Taeung,
>>
>>     I'm a student, working on L4Linux as part of my project. I am
>>     using Freescale i.MX6Q board. I'm trying to boot using root
>>     filesystem on SD card. But could not understand, how I could do it.
>>
>>     It seems(from l4-hackers mailing list) that you have already
>>     tried to boot L4Linux using a different root filesystem than
>>     ramdisk on freescale i.mx6q board.
>>
>>     Could you help me in doing this?
>>
>>     I've read your post,
>>     http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006463.html.
>>     But I could not find the file,
>>     https://www.dropbox.com/s/abj9ao5uk9r3w72/The_Guide_to_access_HW_on_L4Linux_v1.0.pdf
>>
>>     It gives 404 error. *It would be very helpful if you can provide
>>     this file.*
>>
>>     Please send the file or give any suggestions how I can proceed.
>>
>>     Thank you
>>     Praveen
>
>

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers