l4-hackers April 2014

l4-hackers@os.inf.tu-dresden.de

16 participants
27 discussions

Fiasco.OC and qemu vexpress machine model
by Michele Paolino 24 Apr '14

24 Apr '14

Hello l4hackers, I'm trying to execute Fiasco.OC along with the hello module using qemu and the vexpress machine model. For both A9 and A15 cpus the system hangs at "Starting kernel fiasco". It seems that something (the UART driver?) prevents the system to log the kernel boot to the screen. I compiled the image using 'make qemu' in L4RE, and the vm is executed with the argument -nographic. Can you confirm this? Do you have any suggestion to solve it? Here below you can find the log of the A15 boot process: L4 Bootstrapper Build: #2 Thu Apr 10 12:50:53 CEST 2014, 4.6.3 Scanning up to 256 MB RAM Memory size is 256MB (80000000 - 8fffffff) RAM: 0000000080000000 - 000000008fffffff: 262144kB Total RAM: 256MB mod04: 810bc000-810d5580: hello mod03: 810a2000-810bb460: l4re mod02: 81070000-810a162c: moe mod01: 81066000-8106f344: sigma0 mod00: 81014000-810652e0: fiasco Moving up to 5 modules behind 81100000 moving module 00 { 81014000-810652df } -> { 811c2000-812132df } [332512] moving module 01 { 81066000-8106f343 } -> { 81214000-8121d343 } [37700] moving module 02 { 81070000-810a162b } -> { 8121e000-8124f62b } [202284] moving module 03 { 810a2000-810bb45f } -> { 81100000-8111945f } [103520] moving module 04 { 810bc000-810d557f } -> { 8111a000-8113357f } [103808] Scanning fiasco -serial_esc Scanning sigma0 Scanning moe --init=rom/hello Relocated mbi to [0x8100d000-0x8100d0e2] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x80002000 Regions of list 'regions' [ 80001000, 80001cbf] { cc0} Kern fiasco [ 80002000, 8005efff] { 5d000} Kern fiasco [ 80090000, 800963c3] { 63c4} Sigma0 sigma0 [ 80098000, 8009e17b] { 617c} Sigma0 sigma0 [ 80140000, 8016ba6b] { 2ba6c} Root moe [ 80170000, 80186f0f] { 16f10} Root moe [ 81000000, 810133f7] { 133f8} Boot bootstrap [ 81009000, 810090a6] { a7} Boot mbi [ 8100d000, 8100d1df] { 1e0} Root Multiboot info [ 8101304c, 810130a3] { 58} Boot mbi [ 81100000, 8113357f] { 33580} Root Module API Version: (87) experimental Sigma0 config ip:80090100 sp:81012de4 Roottask config ip:801401a0 sp:00000000 Starting kernel fiasco at 800013b0 Regards, Michele Paolino

2 10

L4Linux + Ubuntu
by Sai Prajeeth 23 Apr '14

23 Apr '14

Hi, I want to replace the standard Linux kernel on my Ubuntu Distro (12.04LTS) with the L4Linux kernel. Is this possible? If yes can someone give me an outline as to how to proceed?

5 11

[Resend] Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ?
by Taeung 23 Apr '14

23 Apr '14

Hi, adam Thank you for answering. :-) Sorry, I've asked you a question with misinformation. I've misunderstood that my Freescale imx6q_sabre_sd board's Ethernet is 'Qualcomm Atheros AR8031-AL1A Gigabit Ethernet'. My board's Ethernet Controller is contained in imx6 chip. And the driver for it is 'FEC Ethernet Driver'. So, I have to using ethernet driver which is 'l4linux/drivers/net/ethernet/ freescale'. But, I've failed configure 'CONFIG_FEC=y' because there is not 'FEC Ethernet Driver' on L4 linux's build menuconfig. But there are other ethernet drivers which are 'smsc','intel','marvell'... etc. Though there is 'FEC Ethernet Driver' source code in 'l4linux/drivers/net/ethernet/freescale', why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ? How to build FEC ethernet driver for my board? -Taeung- > I'm trying to secure Ethernet environment on L4 Linux. (using > Freescale imx6 > SABRE SD board) > > My board's Ethernet is 'Qualcomm Atheros AR8031-AL1A Gigabit Ethernet'. > > I've found source code for Ethernet Driver. > Folder name is '/l4linux/drivers/net/ethernet/atheros'. > > But, the folder only contain 'ATL1c' and 'ATL1e', 'ALX', 'ATLX'. > I guess 'atheros' driver in L4 Linux don't support my ethernet driver. L4Linux has the same drivers as native Linux, so if the driver is in Linux it is also in L4Linux (in the same version). There seems to be support for this type of network in the imx6 support code. So does the network work with the native Linux of the same version?

2 1

Why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ?
by Taeung 23 Apr '14

23 Apr '14

Hi, adam Thank you for answering. :-) Sorry, I've asked you a question with misinformation. I've misunderstood that my Freescale imx6q_sabre_sd board's Ethernet is 'Qualcomm Atheros AR8031-AL1A Gigabit Ethernet'. My board's Ethernet Controller is contained in imx6 chip. And the driver for it is 'FEC Ethernet Driver'. So, I have to using ethernet driver which is 'l4linux/drivers/net/ethernet/freescale'. But, I've failed configure 'CONFIG_FEC=y' because there is not 'FEC Ethernet Driver' on L4 linux's build menuconfig. But there are other ethernet drivers which are 'smsc','intel','marvell'... etc. Though there is 'FEC Ethernet Driver' source code in 'l4linux/drivers/net/ethernet/freescale', why 'FEC Ethernet Driver' is not found on L4Linux build menuconfig ? How to build FEC ethernet driver for my board? -Taeung- Message: 3 Date: Wed, 23 Apr 2014 00:17:20 +0200 From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> To: l4-hackers(a)os.inf.tu-dresden.de Subject: Re: Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ? Message-ID: <20140422221720.GC6556(a)os.inf.tu-dresden.de> Content-Type: text/plain; charset=iso-8859-1 On Tue Apr 22, 2014 at 21:55:08 +0900, Taeung wrote: > I'm trying to secure Ethernet environment on L4 Linux. (using Freescale imx6 > SABRE SD board) > > My board's Ethernet is 'Qualcomm Atheros AR8031-AL1A Gigabit Ethernet'. > > I've found source code for Ethernet Driver. > Folder name is '/l4linux/drivers/net/ethernet/atheros'. > > But, the folder only contain 'ATL1c' and 'ATL1e', 'ALX', 'ATLX'. > I guess 'atheros' driver in L4 Linux don't support my ethernet driver. L4Linux has the same drivers as native Linux, so if the driver is in Linux it is also in L4Linux (in the same version). There seems to be support for this type of network in the imx6 support code. So does the network work with the native Linux of the same version? Adam

1 0

Can not L4 linux support 'Atheros AR8031-AL1A' Ethernet Driver ?
by Taeung 23 Apr '14

23 Apr '14

Hello, L4 Hackers :-) I'm trying to secure Ethernet environment on L4 Linux. (using Freescale imx6 SABRE SD board) My board's Ethernet is 'Qualcomm Atheros AR8031-AL1A Gigabit Ethernet'. I've found source code for Ethernet Driver. Folder name is '/l4linux/drivers/net/ethernet/atheros'. But, the folder only contain 'ATL1c' and 'ATL1e', 'ALX', 'ATLX'. I guess 'atheros' driver in L4 Linux don't support my ethernet driver. Is my guess right ? - Taeung -

2 1

Re: Re: How to secure Ethernet environment on L4 Linux ?
by Taeung 21 Apr '14

21 Apr '14

Hello, Adam and L4 Hackers. Thanks for answering. When I run 'ifconfig', nothing have happened. I guess that the cause is /etc folder in ramdisk is not enough to run 'init'. Would you mind if I ask you another question ? Must also I modify 'arm-rv.io' ? or must I modify 'l4lx_xs.cfg' ? or Do not I need do it ? If I have to modify them , how to modify ? (I'm using Freescale imx6q SABRE SD board.) If you give a bit me hints, I'd appreciate. I really want to secure Ethernet on L4 Linux... For reference. I'm using 'entry L4Linux_XS' as follows ======================== entry L4Linux_XS roottask moe rom/l4lx_xs.cfg module l4re module ned module l4lx_xs.cfg module io *module arm-rv.io* module vmlinuz.arm module ramdisk-arm.rd ======================== arm-rv.io in example folder is.. ======================== hw-root { NIC => new Device() { .hid = "smsc911x"; new-res Mmio(0x4e000000 .. 0x4e000fff); new-res Irq(60); } } l4lx => new System_bus() { NIC => wrap(hw-root.NIC); } ======================== l4lx_xs.cfg is .. ======================== -- vim:set ft=lua: local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end L4.default_loader:start( { caps = { log = L4.Env.log:m("rws"), }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=4000 init=/bin/sh"); ======================== - Taeung - Message: 1 Date: Mon, 14 Apr 2014 23:48:27 +0200 From: Adam Lackorzynski<adam(a)os.inf.tu-dresden.de> To:l4-hackers@os.inf.tu-dresden.de Subject: Re: How to secure Ethernet environment on L4 Linux ? Message-ID:<20140414214826.GC6533(a)os.inf.tu-dresden.de> Content-Type: text/plain; charset=iso-8859-1 On Fri Apr 11, 2014 at 10:28:39 +0900, Taeung wrote: > After I succeeded putting other package in ramdisk, I'm trying to take > Ethernet on L4 Linux. > > When I built L4 Linux , I've configured '[*]Network support ' and > '[*]Network device driver support'. > I've copied 'etc' folder from other file system and put it in ramdisk. > And I've put somethings about Network in ramdisk. > > Manually I've mounted '/proc' and '/sys' and tried to run command 'if -a'. > But I've failed secure Ethernet environment on L4 Linux. > To put it concretely, I was not able to run command 'ifup -a' successfully. Does ifconfig show the proper network interface? Adam

2 3

How to change root device on L4 Linux ?
by Taeung 21 Apr '14

21 Apr '14

Hello, L4 hackers :-) I want to change *root device* on L4 Linux instead of ramdisk. Root device I want is like '*/dev/mtdblock0*' or '/dev/mmcblk1p1' instead of 'rom/ramdisk-arm.rd'. So, I've configured somethings in 'L4 Linux menuconfig', additionally. Somethings are as follows .. ============================== <*> MMC/SD/SDIO card support ---> <*> The Extended 4 (ext4) filesystem [*] Ext4 POSIX Access Control Lists [*] Ext4 Security Labels ============================== kernel command line : "rom/vmlinuz.arm console=ttyLv0 root=/dev/mtdblock0 rootwait rw " ============================== But it is hangs at '*Waiting for root device /dev/mtdblock0...*'. I've heard that the solution of this is to pass-through the physical MMC device to L4Linux. Please, tell me it's concrete ways or hints about what I must study for solving this. I can't even guess what the solution mean.. please. - Taeung - ============================== ... vmlinuz.| l4x: Checks passed. vmlinuz.| NetWinder Floating Point Emulator V0.97 (double precision) vmlinuz.| JFS: nTxBlock = 506, nTxLock = 4048 vmlinuz.| msgmni has been set to 126 vmlinuz.| io scheduler noop registered vmlinuz.| io scheduler deadline registered vmlinuz.| io scheduler cfq registered (default) vmlinuz.| L4 serial driver vmlinuz.| ttyLv0 at MMIO 0x1 (irq = 0, base_baud = 230400) is a L4 vmlinuz.| l4ser_shm: L4 shared mem serial driver vmlinuz.| l4cdds: No name given, not starting. vmlinuz.| brd: module loaded vmlinuz.| l4bdds: No name given, not starting. vmlinuz.| mousedev: PS/2 mouse device common for all mice vmlinuz.| TCP: cubic registered vmlinuz.| NET: Registered protocol family 17 *vmlinuz.| Waiting for root device /dev/mtdblock0...* ==============================

3 3

Compiling packages for L4 kernel & patches
by Asus Ceaser 17 Apr '14

17 Apr '14

If I were to use the Fiasco.OC kernel on my Gentoo box, all of my Linux applications will work appropriately without any special tinkering, is this correct. And would I also be able to get packages without having to specially compile them to run on L4. I used to think that if I only had Genode that I would have to specially compile packages, but now for some reason I am unsure. Also since L4 utilizes Linux, all of the Linux patches that are out there would still be able to work for Fiasco.OC, right?

2 1

1 maximal supported CPUs
by Irvanda Kurniadi 16 Apr '14

16 Apr '14

Hi Hackers, I was trying to run ex_thread_migrate in my system. I use 8 active processor. I did config the fiasco to support the multi processor to 8 Maximal supported number of CPUs. Then I ran the thread_migrate example program. After I ran the program, there was only 1 maximal supported CPUs. I even tried to add the -smp 8 while using qemu. But, there wasn't any difference. Please let me know how to fix this. Thanks, Irvanda

2 3

How to secure Ethernet environment on L4 Linux ?
by Taeung 14 Apr '14

14 Apr '14

Hello, l4hackers After I succeeded putting other package in ramdisk, I'm trying to take Ethernet on L4 Linux. When I built L4 Linux , I've configured '[*]Network support ' and '[*]Network device driver support'. I've copied 'etc' folder from other file system and put it in ramdisk. And I've put somethings about Network in ramdisk. Manually I've mounted '/proc' and '/sys' and tried to run command 'if -a'. But I've failed secure Ethernet environment on L4 Linux. To put it concretely, I was not able to run command 'ifup -a' successfully. Please , Help me Even if you tell a bit hints to me, I thank you.

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers April 2014