Help in booting L4Linux(on Freescale i.MX6Q) using root file system on SD card.
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
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
> 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
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
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.
> 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
> 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 ?
> 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,
>> But I could not find the file,
>> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers