l4-hackers

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

2827 discussions

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 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

Jump to page:

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