Help in booting L4Linux(on Freescale i.MX6Q) using root file system on SD card.
taeung
treeze.taeung at gmail.com
Tue Jan 27 05:47:25 CET 2015
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 <treeze.taeung at gmail.com
> <mailto:treeze.taeung at gmail.com>> 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150127/f8a22cc6/attachment.html>
More information about the l4-hackers
mailing list