- l4-hackers - example.com Site

Microkernel Meetup
by Bjoern Doebel 02 Nov '15

02 Nov '15

Hi all, as the last Dresden Microkernel Meetup took place already more than 6 months ago, we surely need to set up a new one! Please chose a date: http://dudle.inf.tu-dresden.de/mks1115/ I am going to pick a location once we settled on a date. (Most likely: Shamrock Irish Pub, but select something else on Mondays...) Bjoern

1 1

Re: Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821)
by Mahdi Aichouch 30 Oct '15

30 Oct '15

Hello Martin, Thank you very much for your help! Your correction fixed the issue. Best regards, Mahdi >put the l4x_register_platform_device_callback behind the #endif. > l4x_register_platform_device_callback("aaci", aaci_cb); > #endif > l4x_register_platform_device_callback("imx6q-fec.dev", imx6q_device_cb_fec); > } On Thu, Oct 29, 2015 at 3:09 PM, Martin Schröder < martin.schroeder(a)openlimit.com> wrote: > Hi, > > Am 29.10.2015 um 14:42 schrieb Mahdi Aichouch: > >> Hello, >> >> Starting from a previous work [1] , I ported the i.MX6 FEC ethernet >> device driver to L4Linux (l4re-snapshot-2014092821). >> >> There is no compilation error, but when I tested on the Freescale i.MX6 >> Sabre SDB, it seems that L4Linux does not start the device. >> Below are the boot messages of L4 Fiasco + L4Linux. >> >> Does someone have an idea of what might be missing or wrong. >> >> To reproduce the test case using l4re-snapshot-2014092821, all >> configuration files and patches are given below. >> >> Thank you very much in advance. >> > > > > [...] > > > >> static int dev_init_done; >> @@ -238,6 +307,7 @@ >> l4x_register_platform_device_callback("compactflash", >> realview_device_cb_pata); >> l4x_register_platform_device_callback("smsc911x", >> realview_device_cb_smsc); >> l4x_register_platform_device_callback("aaci", aaci_cb); >> +l4x_register_platform_device_callback("imx6q-fec.dev", >> imx6q_device_cb_fec); >> #endif >> } >> > > put the l4x_register_platform_device_callback behind the #endif. > > > l4x_register_platform_device_callback("aaci", aaci_cb); > > #endif > > l4x_register_platform_device_callback("imx6q-fec.dev", > imx6q_device_cb_fec); > > } > > > Martin >

1 0

Porting i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821)
by Mahdi Aichouch 29 Oct '15

29 Oct '15

Hello, Starting from a previous work [1] , I ported the i.MX6 FEC ethernet device driver to L4Linux (l4re-snapshot-2014092821). There is no compilation error, but when I tested on the Freescale i.MX6 Sabre SDB, it seems that L4Linux does not start the device. Below are the boot messages of L4 Fiasco + L4Linux. Does someone have an idea of what might be missing or wrong. To reproduce the test case using l4re-snapshot-2014092821, all configuration files and patches are given below. Thank you very much in advance. Best regards, Mahdi [1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2014/006462.html L4 Bootstrapper Build: #10 Thu Oct 29 12:00:00 CET 2015, 4.8.3 20140320 (prerelease) Scanning up to 1024 MB RAM, starting at offset 32MB Memory size is 1024MB (10000000 - 4fffffff) RAM: 0000000010000000 - 000000004fffffff: 1048576kB Total RAM: 1024MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 10 modules behind 11100000 moving module 02 { 11928000-1196163f } -> { 11a18000-11a5163f } [235072] moving module 01 { 1191e000-1192738b } -> { 11a0e000-11a1738b } [37772] moving module 00 { 118b8000-1191d98b } -> { 119a8000-11a0d98b } [416140] moving module 09 { 115b8000-118b7fff } -> { 116a8000-119a7fff } [3145728] moving module 08 { 111d6000-115b7497 } -> { 112c6000-116a7497 } [4068504] moving module 07 { 111d5000-111d517b } -> { 112c5000-112c517b } [380] moving module 06 { 1107e000-111d446f } -> { 1116e000-112c446f } [1401968] moving module 05 { 1107d000-1107d35b } -> { 1116d000-1116d35b } [860] moving module 04 { 1102a000-1107cc1f } -> { 1111a000-1116cc1f } [338976] moving module 03 { 11010000-11029473 } -> { 11100000-11119473 } [103540] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x10002000 Regions of list 'regions' [ 10000000, 1000015f] { 160} Root mbi_rt [ 10001000, 10001aff] { b00} Kern fiasco [ 10002000, 10072fff] { 71000} Kern fiasco [ 10090000, 10096edf] { 6ee0} Sigma0 sigma0 [ 10098000, 1009e177] { 6178} Sigma0 sigma0 [ 10140000, 10171d77] { 31d78} Root moe [ 10178000, 101934ab] { 1b4ac} Root moe [ 11000000, 1100f58f] { f590} Boot bootstrap [ 11100000, 119a7fff] { 8a8000} Root Module API Version: (87) experimental Sigma0 config ip:10090100 sp:00000000 Roottask config ip:10140260 sp:00000000 Starting kernel fiasco at 100012c8 Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf0062390-0xf0062d58) Number of IRQs available at this GIC: 160 FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl L2: ID=410000c7 Type=9e340340 Aux=32070000 WMask=ffff S=0 L2: Type L2C-310 Size = 1024kB Ways=16 Waysize=64 GIC: Switching IRQ 9 to secure GIC: Switching IRQ 8 to secure GIC: Switching IRQ 10 to secure GIC: Switching IRQ 11 to secure GIC: Switching IRQ 58 to secure SERIAL ESC: allocated IRQ 58 for serial uart Not using serial hack in slow timer handler. Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2013 TU Dresden Rev: rexported compiled with gcc 4.8.3 for i.MX6 [] Build: #173 Thu Oct 29 11:16:01 CET 2015 Per_cpu_data_alloc: (orig: 0xf0062390-0xf0062d58) KERNEL: Warning: Buddy::alloc: Size mismatch: 9c8 v 1000 Allocate 2504 bytes (2KB) for CPU[4] local storage (offset=1187c70, 0xf11ea000-0xf11ea9c8) GIC: Switching IRQ 29 to secure Number of CPUs: 4 Calibrating timer loop... Per_cpu_data_alloc: (orig: 0xf0062390-0xf0062d58) done. KERNEL: Warning: Buddy::alloc: Size mismatch: 9c8 v 1000 Allocate 2504 bytes (2KB) for CPU[1] local storage (offset=1189c70, 0xf11ec000-0xf11ec9c8) MDB: use page size: 20 MDB: use page size: 12 SIGMA0: Hello! KIP @ 10002000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [4:10000000;10000fff] [0:10073000;1008ffff] [0:10097000;10097fff] [0:1009f000;1013ffff] [4:10140000;10171fff] [0:10172000;10177fff] [4:10178000;10193fff] [0:10194000;110fffff] [4:11100000;119a7fff] [0:119a8000;4effffff] IOMEM:---------------------- [0:0;fffffff] [0:50000000;ffffffff] MOE: Hello world FPU1: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl MGIC: Switching IRQ 29 to secure OCache config: ON EID_PFR[01]: 00001231 00000011: foPer_cpu_data_alloc: (orig: 0xf0062390-0xf0062d58) und ID_[DA]FR0: 00010444 00000000 ID_MMFR[04]: 00100103 20000000 01230000 00102111 1CPU[1]: goes to idle loop 0 KERNEL: Warning: Buddy::alloc: Size mismatch: 9c8 v 1000 2250Allocate 2504 bytes (2KB) for CPU[2] local storage (offset=113fc70, 0xf11a2000-0xf11a29c8) 0 KByte free memory MOE: found RAM from 10000000 to 4f000000 MOE: allocated 1008 KByte for the page array @0x10194000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [11100000-11119474] [C:503000] l4re BOOTFS: [1111a000-1116cc20] [C:504000] ned BOOTFS: [1116d000-1116d35c] [C:505000] l4lx.cfg BOOTFS: [1116e000-112c4470] [C:506000] io BOOTFS: [112c5000-112c517c] [C:507000] arm-imx6.io BOOTFS: [112c6000-116a7498] [C:50800FPU2: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl 0GIC: Switching IRQ 29 to secure ] vmlinCache config: ON Per_cpu_data_alloc: (orig: 0xf0062390-0xf0062d58) uzID_PFR[01]: 00001231 00000011.ar KERNEL: Warning: Buddy::alloc: Size mismatch: 9c8 v 1000 m ID_[DA]FR0: 00010444 00000000 Allocate 2504 bytes (2KB) for CPU[3] local storage (offset=1149c70, 0xf11ac000-0xf11ac9c8) ID_MMFR[04]: 00100103 20000000 01230000 00102111 CPU[2]: goes to idle loop BOOTFS: [116a8000-119a8000] [C:509000] ramdisk-arm.rd MOE: cmdline: moe rom/l4lx.cfg MOE: Starting: rom/ned rom/l4lx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx.cfg' IO | Io service IO | Verboseness level: 4 FPU3: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl IC: Switching IRQ 29 to secure [Cache config: ON 3ID_PFR[01]: 00001231 000000113mIO ID_[DA]FR0: 00010444 00000000 ID_MMFR[04]: 00100103 20000000 01230000 00102111 CPU[3]: goes to idle loop | unused physical memory space: IO | [00000000000000-0000000fffffff] IO | [00000050000000-000000ffffffff] IO | Loading: config 'rom/arm-imx6.io' IO | l4linux: [N12_GLOBAL__N_112Virtual_sbusE] IO | Resources: ==== start ==== IO | Resources: ===== end ===== IO | L4ICU: [N2Vi6Sw_icuE] IO | Resources: ==== start ==== IO | Resources: ===== end ===== IO | imx6q-fec.dev: [N2Vi9Proxy_devE] IO | Resources: ==== start ==== IO | IOMEM [00000002188000-0000000218bfff 4000] non-pref (32bit) (align=3fff flags=2) IO | IRQ [00000000000096-00000000000096 1] none (32bit) (align=0 flags=1) IO | IRQ [00000000000097-00000000000097 1] none (32bit) (align=0 flags=1) IO | Resources: ===== end ===== IO | dmamem: [N2Vi9Proxy_devE] IO | Resources: ==== start ==== IO | IOMEM [00000010430000-000000104affff 80000] non-pref (32bit) (align=7ffff flags=2) IO | Resources: ===== end ===== IO | Real Hardware ----------------------------------- IO | System Bus: hid= IO | Resources: ==== start ==== IO | Resources: ===== end ===== IO | NIC: hid=imx6q-fec.0 IO | Clients: ===== start ==== IO | imx6q-fec.dev: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [00000002188000-0000000218bfff 4000] non-pref (32bit) (align=3fff flags=2) IO | IRQ [00000000000096-00000000000096 1] none (32bit) (align=0 flags=1) IO | IRQ [00000000000097-00000000000097 1] none (32bit) (align=0 flags=1) IO | Resources: ===== end ===== IO | DMAMEM: hid=dmamem IO | Clients: ===== start ==== IO | dmamem: [N2Vi9Proxy_devE] IO | Clients: ===== end ==== IO | Resources: ==== start ==== IO | IOMEM [00000010430000-000000104affff 80000] non-pref (32bit) (align=7ffff flags=2) IO | Resources: ===== end ===== IO | warning: could not register control interface at cap 'platform_ctl' IO | Ready. Waiting for request. l4linux | PH 0 (t: 1) offs=00008000 vaddr=02000000 vend=02486494 l4linux | phys=02000000 ephys=02486494 l4linux | f_sz=003c339c memsz=00486494 flgs=rwx l4linux | L4LINUX: Ma DBG: Virtual Address 02000000 End 02486494 l4linux | Physical Address 02000000 End 02486494 l4linux | PH 1 (t: 4) offs=00373e1c vaddr=0236be1c vend=0236be40 l4linux | phys=0236be1c ephys=0236be40 l4linux | f_sz=00000024 memsz=00000024 flgs=r-x l4linux | L4LINUX: Ma DBG: Virtual Address 0236be1c End 0236be40 l4linux | Physical Address 0236be1c End 0236be40 l4linux | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000 l4linux | phys=00000000 ephys=00000000 l4linux | f_sz=00000000 memsz=00000000 flgs=rwx l4linux | L4LINUX: Ma DBG: Virtual Address 00000000 End 00000000 l4linux | Physical Address 00000000 End 00000000 l4linux | L4LINUX: Ma DBG: Starting binary at 0x2000360, argc=13 argv=0xafff4f74 *argv=0xb1007ff0 argv0=rom/vmlinuz.arm l4linux | External resolver is at 0xa800075c l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.16.0-l4 (aichouch@aichouch-ThinkCentre-M90) (gcc version 4.8.3 20140320 (prerelease) (Sourcery CodeBench Lite 2014.05-29) ) #41 SMP Thu Oct 29 11:59:28 CET 2015 l4linux | Binary name: rom/vmlinuz.arm l4linux | This is an AEABI build. l4linux | Linux kernel command line (12 args): mem=64M console=ttyLv0 l4x_rd=rom/ramdisk-arm.rd root=1:0 ramdisk_size=4000 rw init=/linuxrc earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 ip=dhp l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 020000a0 - 02600000 [6143 KiB]. l4linux | Areas: Text: 020000a0 - 02396000 [3671kB] (a bit longer) l4linux | Data: 02396000 - 023be4a0 [161kB] l4linux | Initdata: 0236c000 - 02395900 [166kB] l4linux | BSS: 023c339c - 02486494 [780kB] l4linux | Device scan: l4linux | Device: L4ICU l4linux | Device: imx6q-fec.dev l4linux | MEM: 02188000 - 0218bfff l4linux | IRQ: 00000096 - 00000096 l4linux | IRQ: 00000097 - 00000097 l4linux | Device: dmamem l4linux | MEM: 10430000 - 104affff l4linux | Device scan done. l4linux | L4LINUX: Ma DBG: l4lx_thread_create: Created thread 415 (cpu0) (u:b3000e00, v:b3000c00, sp:02397fa4) l4linux | main thread will be 415 l4linux | l4x_register_pointer_section: addr = 02000000 size = 4747264 l4linux | section-with-init: Virt: 0x2000000 to 0x2486493 [4633 KiB] l4linux | section-with-init: Phys: 0x104bb000 to 0x10941493, [4633 KiB] l4linux | Main thread running, waiting... l4linux | Main thread running, waiting... l4linux | stext virt 020000a0, phys 104bb0a0 l4linux | etext virt 02396000, phys 10851000 l4linux | L4x: Memory size: 64MB l4linux | L4x: Setting superpages for main memory l4linux | L4x: Adjusted memory start: 02000000 l4linux | Main memory: Virt: 0x2600000 to 0x65fffff [65536 KiB] l4linux | Main memory: Phys: 0x11a00000 to 0x159fffff, [65536 KiB] l4linux | l4x: vmalloc area: 06600000 - 0e600000 l4linux | l4x_register_pointer_section: addr = 02000000 size = 4747264 l4linux | text: Virt: 0x2000000 to 0x2486493 [4633 KiB] l4linux | text: Phys: 0x104bb000 to 0x10941493, [4633 KiB] l4linux | Booting Linux on physicl CPU 0x0 Linux version 3.16.0-l (aichouch@aichouch-ThinCentre-M90) (gcc versionm 4.8.3 20140320 (prerelease) (Sourcery CodeBenc Lite 2014.05-29) ) #41 MP Thu Oct 29 11:59:28 CmET 2015 CPU: Fiasco [412fc09a]revision 10 (ARMv7), cr=0000000 CPU: PIPT / VIPT nonalasing data cache, VIPT nnaliasing instruction camche Machine: L4 Ignoring unrecognised ag 0x00000000 bootconsole [earlykdb0 enabled Forcing write-allocatecache policy for SMP Forcing shared mapping for SMP Memory policy: Data cahe writealloc Page fault: addr = bffff003 pc = 0236fb80 (rw, T) l4linux | Forward PF to our pager l4linux | Loading: rom/ramdisk-arm.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | INITRD: 00002000 - 0030000 l4x_virt_to_phys: Could not translate virt. address 0x2000 l4linux | v2p: 0: v:00000000-00001000 p:00000000-00001000 sz:00001000 l4linux | v2p: 1: v:02000000-02486494 p:104bb000-10941494 sz:00486494 l4linux | v2p: 2: v:02600000-06600000 p:11a00000-15a00000 sz:04000000 l4linux | v2p: 3: v:02000000-02486494 p:104bb000-10941494 sz:00486494 l4linux | ------------[ cut here ------------ WARNING: CPU: 0 PID: 0at /home/aichouch/dev/l4e-snapshot-2014092821/srmc/l4linux/arch/l4/kernel/main.c:392 l4x_virt_tophys+0x7c/0xac() Modules linked in: CPU: 0 PID: 0 Comm: swpper Not tainted 3.16.0-4 #41 [<020109b4>] (unwind_bcktrace) from [<02007684] (show_stack+0x10/0x14)m [<02007684>] (show_stak) from [<0228f2ec>] (dup_stack+0x84/0x94) [<0228f2ec>] (dump_stak) from [<02020f5c>] (wan_slowpath_common+0x6c/0mx88) [<02020f5c>] (warn_slopath_common) from [<0202014>] (warn_slowpath_nulml+0x1c/0x24) [<02021014>] (warn_slopath_null) from [<0200298>] (l4x_virt_to_phys+0xm7c/0xac) [<02002908>] (l4x_virtto_phys) from [<0236ef4c] (l4x_load_initrd+0x208m/0x240) [<0236ef4c>] (l4x_loadinitrd) from [<02370860> (setup_arch+0x89c/0x8d4m) [<02370860>] (setup_arh) from [<0236c5c8>] (strt_kernel+0x8c/0x370) [<0236c5c8>] (start_kenel) from [<00000000>] ( (null)) ---[ end trace 3406ff2bd97382e ]--- l4x_virt_to_phys: Could not translate virt. address 0x302000 l4linux | v2p: 0: v:00000000-00001000 p:00000000-00001000 sz:00001000 l4linux | v2p: 1: v:02000000-02486494 p:104bb000-10941494 sz:00486494 l4linux | v2p: 2: v:02600000-06600000 p:11a00000-15a00000 sz:04000000 l4linux | v2p: 3: v:02000000-02486494 p:104bb000-10941494 sz:00486494 l4linux | ------------[ cut here ------------ WARNING: CPU: 0 PID: 0at /home/aichouch/dev/l4e-snapshot-2014092821/srmc/l4linux/arch/l4/kernel/main.c:392 l4x_virt_tophys+0x7c/0xac() Modules linked in: CPU: 0 PID: 0 Comm: swpper Tainted: G W 3.16.0-l4 #41 [<020109b4>] (unwind_bcktrace) from [<02007684] (show_stack+0x10/0x14)m [<02007684>] (show_stak) from [<0228f2ec>] (dup_stack+0x84/0x94) [<0228f2ec>] (dump_stak) from [<02020f5c>] (wan_slowpath_common+0x6c/0mx88) [<02020f5c>] (warn_slopath_common) from [<0202014>] (warn_slowpath_nulml+0x1c/0x24) [<02021014>] (warn_slopath_null) from [<0200298>] (l4x_virt_to_phys+0xm7c/0xac) [<02002908>] (l4x_virtto_phys) from [<0236ef58] (l4x_load_initrd+0x214m/0x240) [<0236ef58>] (l4x_loadinitrd) from [<02370860> (setup_arch+0x89c/0x8d4m) [<02370860>] (setup_arh) from [<0236c5c8>] (strt_kernel+0x8c/0x370) [<0236c5c8>] (start_kenel) from [<00000000>] ( (null)) ---[ end trace 3406ff2bd97382f ]--- RAMdisk from 00002000 (00002000) to 00302000 (00302000) [3072KiB] l4linux | PERCPU: Embedded 7 page/cpu @06521000 s6400 r812 d14080 u32768 Built 1 zonelists in Zne order, mobility groupng on. Total pages: 177m16 Kernel command line: mm=64M console=ttyLv0 l4xrd=rom/ramdisk-arm.rd romot=1:0 ramdisk_size=4000 rw init=/linuxrc earlyrintk=1 showpfexc=1 showhost=1 print-fatal-signamls=1 ip=dhcp L4LINUX CEA version PID hash table entries 512 (order: -1, 2048 byes) Dentry cache hash tabl entries: 16384 (order: , 65536 bytes) Inode-cache hash tableentries: 8192 (order: 3,32768 bytes) Memory: 64776K/71680K vailable (2739K kernel cde, 161K rwdata, 764K romdata, 166K init, 780K bss, 6904K reserved) Virtual kernel memory ayout: vector : 0xbffff00 - 0xc0000000 ( 4 k) fixmap : 0xffc0000 - 0xffe00000 (2048 k) vmalloc : 0x0660000 - 0x0e600000 ( 128 M) lowmem : 0x0000000 - 0x06600000 ( 102 M) modules : 0x0101000 - 0x02000000 ( 15 M) .text : 0x0200000 - 0x0236be40 (3504 k) .init : 0x0236c00 - 0x02395900 ( 167 k) .data : 0x0239600 - 0x023be4a0 ( 162 k) .bss : 0x023c33c - 0x02486494 ( 781 k) Hierarchical RCU impleentation. l4linux RCU restricting CPUs rom NR_CPUS=4 to nr_cpu_ds=1. RCU: Adjusting geometr for rcu_fanout_leaf=16,nr_cpu_ids=1 NR_IRQS:220 l4timer: Using IRQ210 L4LINUX: Ma DBG: l4lx_thread_create: Created thread 41b (timer0) (u:b3000a00, v:00000000, sp:0241dfa0) l4linux | sched_clock: 64 bits at1000kHz, resolution 1000s, wraps every 214748364m8000ns Console: colour dummy evice 80x30 console [ttyLv0] enabled console [ttyLv0] enabld bootconsole [earlykdb0] disabled bootconsole [earlykdb0 disabled Calibrating delay loop... 1574.50 BogoMIPS (lpj=7872512) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 1024 (order: 0, 4096 bytes) Mountpoint-cache hash table entries: 1024 (order: 0, 4096 bytes) CPU: Testing write buffer coherency: ok CPU0: thread -1, cpu 0, socket 0, mpidr 80000000 Setting up static identity map for 0x2294850 - 0x2294850 Brought up 1 CPUs SMP: Total of 1 processors activated. CPU: All CPU(s) started in SVC mode. VFP support v0.3: implementor 41 architecture 3 part 30 variant 9 rev 4 NET: Registered protocol family 16 DMA: preallocated 256 KiB pool for atomic coherent allocations Added static device 'L4ICU' with 0 resources. Added static device 'imx6q-fec.dev' with 3 resources. DMA mem phys at 10430000 - 104affff DMA mem virt at 00302000 - 00381fff pps_core: LinuxPPS API ver. 1 registered pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti < giometti(a)linux.it> PTP clock support registered Switched to clocksource l4kipclk NET: Registered protocol family 2 TCP established hash table entries: 1024 (order: 0, 4096 bytes) TCP bind hash table entries: 1024 (order: 1, 8192 bytes) TCP: Hash tables configured (established 1024 bind 1024) TCP: reno registered UDP hash table entries: 256 (order: 1, 8192 bytes) UDP-Lite hash table entries: 256 (order: 1, 8192 bytes) NET: Registered protocol family 1 Trying to unpack rootfs image as initramfs... rootfs image is not initramfs (junk in compressed archive); looks like an initrd INITRD: Freeing memory. l4x: Checks passed. NetWinder Floating Point Emulator V0.97 (double precision) futex hash table entries: 256 (order: 2, 16384 bytes) msgmni has been set to 126 io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) L4 serial driver ttyLv0 at MMIO 0x1 (irq = 211, base_baud = 230400) is a L4 l4ser_shm: L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: No name given, not starting. mousedev: PS/2 mouse device common for all mice TCP: cubic registered NET: Registered protocol family 17 RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 3072KiB [1 disk] into ram disk... done. EXT4-fs (ram0): couldn't mount as ext3 due to feature incompatibilities EXT4-fs (ram0): mounting ext2 file system using the ext4 subsystem EXT4-fs (ram0): mounted filesystem without journal. Opts: (null) VFS: Mounted root (ext2 filesystem) on device 1:0. Freeing unused kernel memory: 164K (0236c000 - 02395000) mount: mounting proc on /proc failed: Device or resource busy mount: mounting devtmpfs on /dev failed: No such device ifconfig: SIOCSIFADDR: No such device Please press Enter to activate this console. #/ - Modification to L4Linux: ------------------------------------------------------------------------------------------------------------------------------- 1- mach_setup.c patch: ------------------------------------------------------------------------------------------------------------------------------- --- /home/aichouch/l4re-snapshot-2014092821/src/l4linux/arch/l4/kernel/arch-arm/mach_setup.c 2014-09-28 21:51:04.000000000 +0200 +++ l4linux/arch/l4/kernel/arch-arm/mach_setup.c 2015-10-28 14:57:04.831851872 +0100 @@ -5,15 +5,84 @@ #include <linux/platform_device.h> #include <linux/ata_platform.h> #include <linux/smsc911x.h> +#include <linux/fec.h> #include <linux/slab.h> #include <linux/list.h> + #include <asm/generic/devs.h> #ifdef CONFIG_L4_DMAPOOL #include <asm/l4x/dma.h> #endif +#define PHY_ID_AR8031 0x004dd074 + +static struct resource imx6q_fec_resources[] = { + { + .start = 0x02188000, + .end = 0x0218BFFF, + .name = "imx6q-fec mem", + .flags = IORESOURCE_MEM + }, + { + .start = 150, + .end = 151, + .name = "imx6q-fec irq", + .flags = IORESOURCE_IRQ + } +}; + +static struct fec_platform_data imx6q_fec_pd = { + .phy = PHY_INTERFACE_MODE_RGMII +}; + +static struct platform_device imx6q_fec_dev = { + .name = "imx6q-fec", + .id = 0, + .resource = imx6q_fec_resources, + .num_resources = ARRAY_SIZE(imx6q_fec_resources), + .dev = { + .platform_data = &imx6q_fec_pd, + }, +}; + +static int ar8031_phy_fixup(struct phy_device *dev) +{ + u16 val; + + /* to enable AR8031 output a 125Mhz clk from CLK_25M */ + phy_write(dev, 0xd, 0x7); + phy_write(dev, 0xe, 0x8016); + phy_write(dev, 0xd, 0x4007); + + val = phy_read(dev, 0xe); + val &= 0xffe3; + val |= 0x18; + phy_write(dev, 0xe, val); + + /* introduce tx clock delay */ + phy_write(dev, 0x1d, 0x5); + val = phy_read(dev, 0x1e); + val |= 0x0100; + phy_write(dev, 0x1e, val); + + return 0; +} + +static void __init imx6q_enet_phy_init(void) +{ + if (IS_BUILTIN(CONFIG_PHYLIB)) { + phy_register_fixup_for_uid(PHY_ID_AR8031, 0xffffffff, ar8031_phy_fixup); + } +} + +static L4X_DEVICE_CB(imx6q_device_cb_fec) +{ + platform_device_register(&imx6q_fec_dev); + imx6q_enet_phy_init(); +} + static int dev_init_done; @@ -238,6 +307,7 @@ l4x_register_platform_device_callback("compactflash", realview_device_cb_pata); l4x_register_platform_device_callback("smsc911x", realview_device_cb_smsc); l4x_register_platform_device_callback("aaci", aaci_cb); + l4x_register_platform_device_callback("imx6q-fec.dev", imx6q_device_cb_fec); #endif } ------------------------------------------------------------------------------------------------------------------------------- 2- fec.h patch: ------------------------------------------------------------------------------------------------------------------------------- --- /home/aichouch/l4re-snapshot-2014092821/src/l4linux/drivers/net/ethernet/freescale/fec.h 2014-09-28 21:51:04.000000000 +0200 +++ l4linux/drivers/net/ethernet/freescale/fec.h 2015-10-28 15:02:26.943851538 +0100 @@ -19,7 +19,7 @@ #if defined(CONFIG_M523x) || defined(CONFIG_M527x) || defined(CONFIG_M528x) || \ defined(CONFIG_M520x) || defined(CONFIG_M532x) || \ - defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) + defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) || CONFIG_L4 /* * Just figures, Motorola would have to change the offsets for * registers in the same peripheral device on different models @@ -147,7 +147,7 @@ /* * Define the buffer descriptor structure. */ -#if defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) +#if defined(CONFIG_ARCH_MXC) || defined(CONFIG_SOC_IMX28) || defined(CONFIG_L4) struct bufdesc { unsigned short cbd_datlen; /* Data length */ unsigned short cbd_sc; /* Control and status info */ ------------------------------------------------------------------------------------------------------------------------------- 3- fec_main.c patch: ------------------------------------------------------------------------------------------------------------------------------- --- /home/aichouch/l4re-snapshot-2014092821/src/l4linux/drivers/net/ethernet/freescale/fec_main.c 2014-09-28 21:51:04.000000000 +0200 +++ l4linux/drivers/net/ethernet/freescale/fec_main.c 2015-10-28 15:04:41.011851399 +0100 @@ -61,6 +61,12 @@ #include "fec.h" +#ifdef CONFIG_L4 +//ahb clock +#define clk_get_rate(x) 132000000 + +#endif + static void set_multicast_list(struct net_device *ndev); #if defined(CONFIG_ARM) @@ -2535,12 +2541,22 @@ fep->phy_interface = ret; } +#ifdef CONFIG_L4 + //Do not setup Clocks or regulator + fep->clk_ahb = NULL; + fep->clk_ipg = NULL; + fep->clk_enet_out = NULL; + fep->clk_ptp = NULL; + fep->reg_phy = NULL; +#else + fep->clk_ipg = devm_clk_get(&pdev->dev, "ipg"); if (IS_ERR(fep->clk_ipg)) { ret = PTR_ERR(fep->clk_ipg); goto failed_clk; } + fep->clk_ahb = devm_clk_get(&pdev->dev, "ahb"); if (IS_ERR(fep->clk_ahb)) { ret = PTR_ERR(fep->clk_ahb); @@ -2576,6 +2592,8 @@ fep->reg_phy = NULL; } +#endif + fec_reset_phy(pdev); if (fep->bufdesc_ex) ------------------------------------------------------------------------------------------------------------------------------- 4- fec_ptp.c patch: ------------------------------------------------------------------------------------------------------------------------------- --- /home/aichouch/l4re-snapshot-2014092821/src/l4linux/drivers/net/ethernet/freescale/fec_ptp.c 2014-09-28 21:51:04.000000000 +0200 +++ l4linux/drivers/net/ethernet/freescale/fec_ptp.c 2015-10-28 14:39:23.863852973 +0100 @@ -48,6 +48,9 @@ #include "fec.h" +//ahb clock +#define clk_get_rate(x) 132000000 + /* FEC 1588 register bits */ #define FEC_T_CTRL_SLAVE 0x00002000 #define FEC_T_CTRL_CAPTURE 0x00000800 ------------------------------------------------------------------------------------------------------------------------------- 5- Freescale Kconfig patch: ------------------------------------------------------------------------------------------------------------------------------- --- /home/aichouch/l4re-snapshot-2014092821/src/l4linux/drivers/net/ethernet/freescale/Kconfig 2014-09-28 21:51:04.000000000 +0200 +++ l4linux/drivers/net/ethernet/freescale/Kconfig 2015-10-28 14:34:45.955853261 +0100 @@ -7,7 +7,7 @@ default y depends on FSL_SOC || QUICC_ENGINE || CPM1 || CPM2 || PPC_MPC512x || \ M523x || M527x || M5272 || M528x || M520x || M532x || \ - ARCH_MXC || ARCH_MXS || (PPC_MPC52xx && PPC_BESTCOMM) + ARCH_MXC || ARCH_MXS || (PPC_MPC52xx && PPC_BESTCOMM) || L4 ---help--- If you have a network (Ethernet) card belonging to this class, say Y and read the Ethernet-HOWTO, available from @@ -23,7 +23,7 @@ config FEC tristate "FEC ethernet controller (of ColdFire and some i.MX CPUs)" depends on (M523x || M527x || M5272 || M528x || M520x || M532x || \ - ARCH_MXC || SOC_IMX28) + ARCH_MXC || SOC_IMX28) || L4 default ARCH_MXC || SOC_IMX28 if ARM select PHYLIB select PTP_1588_CLOCK ------------------------------------------------------------------------------------------------------------------------------- 6- L4Linux KConfig patch: ------------------------------------------------------------------------------------------------------------------------------- --- /home/aichouch/l4re-snapshot-2014092821/src/l4linux/arch/l4/Kconfig 2014-09-28 21:51:04.000000000 +0200 +++ l4linux/arch/l4/Kconfig 2015-10-28 14:39:21.515852975 +0100 @@ -63,16 +63,21 @@ config L4_PLATFORM_GENERIC bool "Generic" select CLKDEV_LOOKUP - select L4_CLK_NOOP + select HAVE_CLK_PREPARE + select HAVE_MACH_CLKDEV + select COMMON_CLK config L4_PLATFORM_REALVIEW bool "Realview" select CLKDEV_LOOKUP select OUTER_CACHE - select L4_CLK_NOOP + endchoice +config L4_CLK_NOOP + bool "L4 Clock Noop" + depends on (L4_PLATFORM_GENERIC || L4_PLATFORM_REALVIEW) menu "Features" - Note that the L4_CLK_NOOP option should be disabled otherwise a link error occurs when compiling L4Linux. ------------------------------------------------------------------------------------------------------------------------------- 7- arm-imx6.io file: ------------------------------------------------------------------------------------------------------------------------------- hw-root { NIC => new Device() { .hid = "imx6q-fec.0"; new-res Mmio(0x02188000 .. 0x0218BFFF); new-res Irq(150); new-res Irq(151); } DMAMEM => new Device() { .hid = "dmamem"; new-res Mmio_ram(0x80000, 0); } } l4linux => new System_bus() { #NIC => wrap(hw-root.NIC); "imx6q-fec.dev" => wrap(hw-root.NIC); "dmamem" => wrap(hw-root.DMAMEM); } ------------------------------------------------------------------------------------------------------------------------------- 8- l4lx.cfg file: ------------------------------------------------------------------------------------------------------------------------------- -- vim:set ft=lua: loader = L4.default_loader; vbus_l4linux = loader:new_channel(); local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end 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 -vvv rom/arm-imx6.io"); L4.default_loader:start( { caps = { vbus = vbus_l4linux; 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 rw init=/linuxrc earlyprintk=1 showpfexc=1 showghost=1 print-fatal-signals=1 ip=dhc\ p");

2 1

Sharing one ethernet network device between two L4Linux instances
by Mahdi Aichouch 27 Oct '15

27 Oct '15

Hello, I was able to run two L4linux instances on top of L4 Fiasco OC using a Qemu emulator of a versatile express-a9 board . I would like to make these two instances share one ethernet network device. I would like also to switch between the two L4Linux shell, because in Qemu only one shell is accessible. I followed this guide[1] to connect two L4Linux instances using "l4shmnet", and this thread [2] to get access to the shell when testing on Qemu. However, the "l4shmnet" is not working correctly, both L4Linux display this message: shmns: Requesting, Shmsize 1024 Kbytes shmns: Failed to establish communication Could someone help me building such a working configuration. Is it possible to share a working Qemu command with the right option for the network? This is my Qemu command $> qemu-system-arm -cpu cortex-a9 -M vexpress-a9 -smp 1 -no-reboot -m 1024M -kernel bin/arm_armv7a/bootstrap_L4Linux_ARM.elf -nographic -net nic,model=lan9118 -net user Is it also possible to share a working lua configuration file? This is my lua l4lx.cfg file: -- vim:set ft=lua: local lxname = "vmlinuz"; if L4.Info.arch() == "arm" then lxname = "vmlinuz.arm"; end local shmns = L4.default_loader:create_namespace({ shm = "placeholder" }); L4.default_loader:start( { { ldr_flags = L4.Ldr_flags.eager_map }, caps = { log = L4.Env.log:m("rws"), }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, shmns = shmns:mode("rw"), }, "rom/" .. lxname .. " earlyprintk=1 showpfexc=1 showghost=1 mem=64M l4shmnet.add=shmns,macpart=1,create console=ttyLv0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=32768 init=/li\ nuxrc print-fatal-signals=1"); L4.default_loader:start( { { ldr_flags = L4.Ldr_flags.eager_map }, caps = { log = L4.Env.log:m("rws"), }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux2", "green" }, shmns = shmns:mode("rw"), }, "rom/" .. lxname .. " earlyprintk=1 showpfexc=1 showghost=1 mem=64M l4shmnet.add=shmns,macpart=2 console=ttyLv0 l4x_rd=rom/ramdisk-" .. L4.Info.arch() .. ".rd root=1:0 ramdisk_size=32768 init=/linuxrc p\ rint-fatal-signals=1"); Thank you very much in advance. Best regards, Mahdi [1] http://wiki.tudos.org/L4Linux/shmnet [2] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/005775.html

3 5

Application on top of L4re
by Yuxin Ren 27 Oct '15

27 Oct '15

Hi, Are there any relative complex and non-trivial applications on top of Fiasco and l4Re? If so, where can I get the source code? Thanks a lot. Yuxin

3 4

make clean (really!)
by ba_f 12 Oct '15

12 Oct '15

Hello, i try to build the newest snapshot while still having an old one on the disk. Unfortunately, 'make setup' crashes when looking for Cross Tools. Anyway, i don't think it has something to do with the new snapshot, but some hidden setup files storing my old config. Because, when i rename my old snapshot and then try to rebuild it, it crashes as well. So, how do i make the setup really clean? 'make clean' seems not enough, since it still knows some old configs. Where are those hidden files, and how to remove them? Thanks.

2 6

Re: make uimage error
by Shabnam Engineer 05 Oct '15

05 Oct '15

Hi Adam,I built l4linux successfully and again I got this error : ******************************************************************************---> my command : make uimage E="L4Linux ARM" MODULE_SEARCH_PATH=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/ O=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/ ---> the message : make[1]: Entering directory `/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4' Could not find 'vmlinuz.arm' with path '/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a/l4f:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a/l4f' Processing of /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/conf/modules.list failed! make[3]: *** No rule to make target `mod.make.inc', needed by `bootstrap.ld'. Stop. make[2]: *** [/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/pkg/bootstrap/server/src/OBJ-arm_armv7a] Error 2 make[1]: *** [uimage] Error 2 make[1]: Leaving directory `/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4' make: *** [uimage] Error 2 ******************************************************************************thank you for your considering my question.Regards, Shabnam On Monday, September 14, 2015 2:44 AM, Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> wrote: hi, On Sat Sep 12, 2015 at 19:45:44 +0000, Shabnam Engineer wrote: > Hi Adam ,Thanks a lot for helping me.Your solution is ok but now I get this error : > ************************************************************************* > Could not find 'l4lx.cfg' with path '/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a/l4f:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a/l4f' > > Processing of /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/conf/modules.list failed! > > make[2]: *** No rule to make target `mod.make.inc', needed by `bootstrap.ld'. Stop. > make[1]: *** [/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/pkg/bootstrap/server/src/OBJ-arm_armv7a] Error 2 > make: *** [uimage] Error 2**************************************************************and the l4lx.cfg file is in src/l4/conf/examples path and when I copied it to the one of the pathes that said in the above, I then got this error for another file like "vmlinuz.arm" that this file does not exist in any folder. > thank you for considering my questio.Regards, Shabnam vmlinuz.arm is the binary of L4Linux. Did you build L4Linux? By the way, the paths can be configured in src/l4/conf/Makeconf.boot Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 3

Error when building L4RE
by Mahdi Aichouch 29 Sep '15

29 Sep '15

Hello, I tried to build L4 Fiasco O.C + L4RE on Ubuntu 14.04 LTS x86_64 host, but I get the following error: Checking for needed programs and tools make ... ok gcc ... ok g++ ... ok ld ... ok gawk ... ok perl ... ok pkg-config ... ok Checking for needed cross programs and tools arm-linux-gcc ... ok arm-linux-cpp ... ok arm-linux-nm ... ok arm-linux-g++ ... ok arm-linux-ld ... ok Checking optional programs and tools doxygen ... NOT DETECTED but optional Some optional command is missing on your system, don't worry. doxygen Creating build directories... make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco' Creating build directory "../../../obj/fiasco/arm-mp-rv-a9-vexpress"... done. make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' make -C /home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/../tool/kconfig O=/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h KCONFIG_TRISTATE=include/config/tristate.conf KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=include/config/auto.conf KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= INCLUDE_SPARC= fiasco_srcdir=/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/.. olddefconfig make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' HOSTCC scripts/basic/fixdep HOSTCC scripts/kconfig/conf.o SHIPPED scripts/kconfig/zconf.tab.c SHIPPED scripts/kconfig/zconf.lex.c SHIPPED scripts/kconfig/zconf.hash.c HOSTCC scripts/kconfig/zconf.tab.o HOSTLD scripts/kconfig/conf scripts/kconfig/conf --olddefconfig Kconfig # # configuration written to globalconfig.out # make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig' make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' All build tools checked ok. Creating build directory "../../obj/l4/arm-ca"... make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca' HOSTCC scripts/basic/fixdep HOSTCC scripts/kconfig/conf.o SHIPPED scripts/kconfig/zconf.tab.c SHIPPED scripts/kconfig/zconf.lex.c SHIPPED scripts/kconfig/zconf.hash.c HOSTCC scripts/kconfig/zconf.tab.o HOSTLD scripts/kconfig/conf scripts/kconfig/conf --oldconfig /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated # # configuration written to .kconfig # scripts/kconfig/conf --silentoldconfig /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated All build tools checked ok. gcc -fPIC -Wall -pedantic -g -m64 -c /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/deptrack.c -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o gcc -fPIC -Wall -pedantic -g -m64 -c /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/syscall.c -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o mkdir -p /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64 gcc -m64 -shared -Wl,--no-as-needed -Wl,-soname,/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so -ldl -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. make[6]: *** [Makeconf.bid.local-internal-names] Error 1 make[5]: *** [Makeconf.bid.local-helper] Error 2 make[4]: *** [DROPSCONF_CONFIG_MK_POST_HOOK] Error 1 make[3]: *** [/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/.config.all] Error 2 make[2]: *** [oldconfig] Error 2 make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' make: *** [setup] Error 1 Does someone have an idea of how to resolve this. Thank you very much in advance. Best regards, Mahdi

2 1

l4linux building error
by Shabnam Engineer 21 Sep '15

21 Sep '15

Hi l4-hackersIn bulding l4linux , I got an error :************************************************************the command : make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux- the error : make[1]: Entering directory `/tmp/buildpath' Package libio-io was not found in the pkg-config search path. Perhaps you should add the directory containing `libio-io.pc' to the PKG_CONFIG_PATH environment variable Package 'libio-io', required by 'libio', not found Getting required compilation flags failed. L4OBJ: /home/shabnam/Desktop/l4re-core-2014092821/src/l4/builddir/ L4_REQUIRED_MODS: libc_be_minimal_log_io libc_minimal libc_minimal_l4re libsupc++_minimal log l4re_c-util libio libvcpu shmc /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4linux/arch/l4/Makefile:361: *** Aborting.. Stop. make: *** [sub-make] Error 2 *************************************************************thank you for considering my questionRegards, Shabnam

2 1

make uimage error
by Shabnam Engineer 14 Sep '15

14 Sep '15

Hi L4hackersI successfully build both Fiasco.OC and l4re but when I want to make image file I get this error : ****************************************************************** ---> my command : ~/Desktop/snapshot/l4re-snapshot-2014092821/src/l4$ make uimage E=hello MODULE_SEARCH_PATH=./../kernel/fiasco/mybuild/ O=./builddir/ ----> the message : =========== Updating RAM_BASE for platform rpi_b to 0x0 ========= ... Regenerating RAM_BASE settings ... Building Makefile.inc ==> Linking sigma0 ==> "sigma0" built ==> Installing sigma0 to local build-tree ... Building Makefile.inc ==> Linking moe ==> "moe" built ==> Installing moe to local build-tree Could not find 'fiasco' with path './../kernel/fiasco/mybuild/:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a/l4f:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a/l4f' ... Building Dependencies ... Building Makefile.inc Processing of /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/conf/modules.list failed! Could not find 'fiasco' with path './../kernel/fiasco/mybuild/:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a/l4f:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a/l4f' Processing of /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/conf/modules.list failed! make[2]: *** No rule to make target `mod.make.inc', needed by `bootstrap.ld'. Stop. make[1]: *** [/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/pkg/bootstrap/server/src/OBJ-arm_armv7a] Error 2 make: *** [uimage] Error 2 ****************************************************************** but the fiasco file exists in ./../kernel/fiasco/mybuild path.thank you for considering my question.regards, Shabnam

3 7