- l4-hackers - example.com Site

L4Linux and L4Re communication
by Irvanda Kurniadi 25 Apr '14

25 Apr '14

Hi, This thread is just a sequel from http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/006108.html > > Is it possible to run my application on top l4linux; like, > > if I want to run hello world application over l4linux (not just > > booting it over l4/fiasco)? I tried to run it by using this > > configuration: > > > > -- Start Hello loader:start( { caps = {}, l4re_bdg = L4.Dbg.Warn, > > log = {"hello","red"}, }, "rom/hello"); > > > > -- Start Linux loader:start( { caps = { log = L4.Env.log:m("rws"), > > fb = mag_svc:create(L4.Proto.Goos, "g=640x480"); vbus = > > vbus_l4linux; }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", > > "yellow" }, }, "rom/" .. lxname .. " mem=64M console=tty0 > > l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 > > ramdisk_size=4000 init=linuxrc"); > > > > But I think it only run two different applications over l4/fiasco. > > > > Do you have any idea how to run the hello application over > > l4linux? > Bjoern said: > > The idea behind L4Linux is to run native Linux applications, so hello > world in L4Linux works just as the version you would write in your > local Linux. > > Running an application that communicates with both L4 and Linux is a > bit more involved. L4Linux applications don't talk to L4 apps > directly. The L4Linux kernel is an L4 app though, so it can do this > talking for you. The missing link then is to write a Linux device > driver that allows your Linux program to talk to the L4Linux kernel, > which then in turn communicates with an external L4 application. > > In term of running hello world in L4Linux, I can run it by passing -m32 -static in the compilation process. But, now I'm having a problem in running the mpi-based application on L4Linux which this apps needs the mpi library to be able to run. I have ported the mpi library and run the apps over L4Re by using Ned. So, based on the explanation above, I don't understand how to run the mpi-based program on top L4Linux in which the L4Linux definitely doesn't have mpi-library because the mpi-library is existed in L4Re. Is it like this, the l4linux kernel needs the device driver to communicate with external L4 apps (in my case mpi-base apps), then to trigger the communication we should make the kernel module (linux program to talk to the l4linux kernel). Am I right? Can you point one example, which is similar with my case, that can be followed by me? Thanks, Irvanda

2 2

build error: [kobject_mapdb.o] error
by Irvanda Kurniadi 25 Apr '14

25 Apr '14

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 the error message shown in [1.error message]. Have you ever built l4/fiasco for arm9 over ubuntu 11.10 64-bit? I think this is just a compiler problem. If you know about this problem, please let me know to solve this problem. Thanks, Irvanda [1.error message] make[3]: Entering directory `/home/l4re-arm/obj/fiasco/arm-mp-rv-pb11mp' ... Generating version information ... Making kip.o ... Making kip-debug.o ... Making kip-arm.o ... Making l4_types.o ... Making l4_types-debug.o ... Making l4_fpage.o ... Making l4_msg_item.o ... Making l4_buf_desc.o ... Making l4_error.o ==> Archiving into libabi.a ... Making kernel.arm.lds ... Making crt0.o ... Making bootstrap.o ... Making bootstrap-arm-realview.o ==> Linking bootstrap.fiasco.o ... Making kernel_panic.o ... Making libc_backend_lock.o ... Making cpu_mask.o ... Making rcupdate.o ... Making kobject_mapdb.o In file included from /home/l4re-arm/src/kernel/fiasco/src/kern/context.cpp:22, from /home/l4re-arm/src/kernel/fiasco/src/kern/switch_lock.cpp:85, from /home/l4re-arm/src/kernel/fiasco/src/kern/helping_lock.cpp:4, from /home/l4re-arm/src/kernel/fiasco/src/kern/lock.cpp:3, from /home/l4re-arm/src/kernel/fiasco/src/kern/kobject.cpp:3, from /home/l4re-arm/src/kernel/fiasco/src/kern/kobject_mapdb.cpp:5, from auto/kobject_mapdb.cc:3: /home/l4re-arm/src/kernel/fiasco/src/lib/libk/cxx/function:34: error: 'cxx::functor<Res(Args ...)>::functor(cxx::functor<Res(Args ...)>&&)' cannot be defaulted make[3]: *** [kobject_mapdb.o] Error 1 make[3]: Leaving directory `/home/l4re-arm/obj/fiasco/arm-mp-rv-pb11mp' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/l4re-arm/obj/fiasco/arm-mp-rv-pb11mp'

2 4

Keyboard Input in L4Re Pandaboard ARM
by Erry Pradana Darajati 24 Apr '14

24 Apr '14

Hello L4 hackers I have a question about accessing standard I/O Is it possible to access keyboard using L4Re. If it's possible, can i access it using USB keyboard or do i need to access the std input from serial ? The idea of this question because i want to make a simple calculator to practice study the stdio of L4Re I am really sorry for the basic question And i am appreciating any helps and answer Thanks L4 Hackers -- *Regards,* *Erry Pradana Darajati | Student of Computer Engineering* *Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*

2 1

Can you confirm whether or not I secure devices on L4 Linux ?
by Taeung 24 Apr '14

24 Apr '14

Hello, L4 hackers and Wei Jin :-) I'm trying to secure devices which are 'SD card' and 'Ethernet' on L4 Linux. Can you confirm whether or not I secure devices on L4 Linux ? Sorry for long my mail.. The try I've done is as follows .. 1) 'l4lx-vbus.io' file I've modified ==================== # vim:set ft=ioconfig: # configuration file for io l4linux => new System_bus() { NIC => wrap(hw-root.NIC); FLASHMEMORY => wrap(hw-root.FLASHMEMORY); } ==================== 2) 'arm-rv-eb-mc.devs' file I've modified using IRQ and MMIO information in my board's DataSheet . (My board is 'Freescale imx6 Quad SABRE SD') ==================== local Hw = Io.Hw local Res = Io.Res Io.hw_add_devices { FLASHMEMORY = Hw.Device { hid = "flashmemory"; Res.mmio(0x02198000 , 0x0219BFFF); Res.irq(56); }, NIC = Hw.Device { hid = "freescale"; Res.mmio(0x02188000, 0x0218BFFF); Res.irq(150); Res.irq(151); }, } ==================== 3) l4lx_xs.cfg I've modified. ==================== local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end loader = L4.default_loader; vbus_l4linux = loader:new_channel(); -- Start io & flash memory loader:start( { caps = { sigma0 = L4.cast(L4.Proto.Factory,L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; l4linux = vbus_l4linux:svr(); }, log = { "IO", "y" }, l4re_dbg = L4.Dbg.Warn, }, "rom/io rom/arm-rv-eb-mc.devs rom/l4lx-vbus.io"); L4.default_loader:start( { caps = { log = L4.Env.log:m("rws"), vbus = vbus_l4linux; }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/" .. lxname .. " mem=64M vmalloc=4M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 rw ramdisk_size=20480 init=/linuxrc debug"); ==================== 4) I've modified 'modules.list' 5) I found something about device on L4 Linux booting log as follows.. ==================== |Starting kernel ... L4 Bootstrapper Build: #8 Tue Apr 22 16:33:35 JST 2014, 4.6.2 20110630 (prerelease) Scanning up to 1024 MB RAM ...(omitted) l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.13.0-l4-svn46 (taeung@taeung-MS-7798) (gcc version 4.6.2 20110630 (prerelease) (Freescale MAD -- Linaro 2011.07 -4 l4linux | Binary name: rom/vmlinuz.arm | ||...(omitted) l4linux | Device scan: l4linux | Device: (noname) l4linux | Device: NIC l4linux | MEM: 02188000 - 0218bfff l4linux | IRQ: 00000096 - 00000096 l4linux | IRQ: 00000097 - 00000097 l4linux | Device: FLASHMEMORY l4linux | MEM: 02198000 - 0219bfff l4linux | IRQ: 00000038 - 00000038 l4linux | Device scan done. || ||||...(omitted) |||DMA: preallocated 256 KiB pool for atomic coherent allocations Added static device '(noname)' with 0 resources. Added static device 'NIC' with 3 resources. Added static device 'FLASHMEMORY' with 2 resources. ...(|||omitted|) mmcblk driver (I've added 'pr_info("|||mmcblk driver|");' in __init function of mmc device driver source code.) ...(|||omitted|)| |mount: mounting /dev/mmcblk0p2 on /mnt failed: No such device or address /etc/init.d/S10getconf: Couldnt mount /dev/mmcblk0p2 Initializing random number generator... random: dd urandom read with 1 bits of entropy available done. Loading libertas firmware... /lib/firmware/libertas not found! /etc/init.d/S30libertas_fw: exit: line 46: Illegal number: -2 Starting network... Cannot find device "usb0" Cannot find device "usb0" Cannot find device "wlan0" Cannot find device "wlan0" Starting dropbear sshd: OK Loading iptables rules... /etc/iptables not found! dnsmasq: unknown interface usb0 Error for wireless request "Set Mode" (8B06) : SET failed on device wlan0 ; Invalid argument. Cannot read /proc/net/wireless Error for wireless request "Set ESSID" (8B1A) : SET failed on device wlan0 ; Invalid argument. net.ipv4.ip_forward = 1 / # |==================== I guess that devices is secured through being registered in io server but network could not be run because there is not FEC ethernet driver. (For reference, my board's ethernet use 'FEC Ethernet Driver' ) However I don't know why could not run 'mount /dev/mmcblk0p1 /mnt '. Do I secure devices on L4 Linux successfully ? If I only make drivers for its to run successfully , can I access 'SD card' and 'Ethernet' on L4Linux ? Or is my guess wrong ? I would appreciate if anyone answer. - Taeung -

2 1

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 22 Apr '14

22 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