build error: [kobject_mapdb.o] error

2014-04-21 Thread Irvanda Kurniadi
Hi hackers, I have a problem in building l4/fiasco for arm. I'm using ubuntu 11.10 64-bit and want to build l4/fiasco for arm9. For cross compiler, I'm using Sourcery_G++_Lite. For the snapshot, I'm using current snapshot l4re-snapshot-2014022818. Then, when I tried to build the l4/fiasco, I got t

Re: How to secure Ethernet environment on L4 Linux ?

2014-04-21 Thread Matthias Lange
Hi, On 21.04.2014, at 03:44, Taeung wrote: > Hi, Matthias. > > Thank you for answering. > > Sorry, I apologize for the late response. > > I've configured the NIC driver as follows.. '[*]Network support ' and > '[*]Network device driver support'. > > I don't know how to init the driver,but

Re: How to change root device on L4 Linux ?

2014-04-21 Thread Wei Jin
Hi Taeung! I think your goal is to make SD controller work on L4Linux right ? If my guess is right then I could share my experience since I did something similar. First you need to create the 'devs' file and 'vbus' file with the hardware resource information( IO address and IRQ number). These cou

Re: How to change root device on L4 Linux ?

2014-04-21 Thread Taeung
Hello, Matthias :-) Would you mind I ask you a question ? I did not understood your answer, because I was uncertain it. But, now I'm catching on. I'm analyzing 'L4 Re' document. I've modified 'l4lx-vbus.io' and 'arm-rv-eb-mc.devs' file as follows.. *vi 'l4lx-vbus.io**'* # vim:set