l4-hackers August 2011

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

15 participants
15 discussions

L4Android bootstrap errors
by giowck 07 Sep '11

07 Sep '11

Hi, I'm trying to get L4Android working on a BeagleBoard (rev. C4). After some minor issues, I finally managed to build L4Re, Fiasco.OC, L4Linux and L4Android successfully. Everything works great on my board, including L4Linux. But L4Android gives me some errors during the bootstrap: io | Io service io | L4Re[rm]: unhandled read page fault @40000c pc=102b4c8 io | L4Re: unhandled exception: pc=0x102b4c8 Please see [1] for the full bootstrap (target: ARM beagleboard). To exclude some hardware related issues, I rebuilt L4Android with realview board (ARM) as target, in order to test it using qemu. This time, I get the following error: android | L4Re: unhandled exception: pc=0xa80001c8 Please see [2] for the full bootstrap (target: ARM realview board). Would be nice if someone could build L4Android for realview-b and tell me if it works in qemu. Maybe those errors are related to my newbieness :D Just another thing. On the L4Android Website, in the 'build diskimage' instructions, you write: "Next we need to modify the init.rc script. Mount the newly created image and locate the section where the system and data partition are to be mounted and replace the commands with the lines following the mount:" mount cramfs /l4bdds0 /system mount cramfs /l4bdds0 /system ro remount mount tmpfs tmpfs /data size=32M Then I saw that on your prebuilt root/system images for x86, the "on fs" section of the init.rc file is empty: on fs # mount mtd partitions So, i could not compare the section with mine, which looks the following: on fs # mount mtd partitions # Mount /system rw first to give the filesystem a chance to save a checkpoint # mount yaffs2 mtd@system /system # mount yaffs2 mtd@system /system ro remount # mount yaffs2 mtd@userdata /data nosuid nodev mount cramfs /l4bdds0 /system mount cramfs /l4bdds0 /system ro remount mount tmpfs tmpfs /data size=32M mount yaffs2 mtd@cache /cache nosuid nodev #unchanged Anyway, I tried to empty the "on fs" section like on the prebuilt images, but the above errors still persist. So any idea about those errors? Thank you! Giorgio Build environment in use ======================== - L4Re/L4Linux/Fiasco.OC: l4re-snapshot-2011062216 (not the last revision, since l4android needs to be updated) - L4Android: latest available revision (19 Jul 2011) - Compiler: CodeSourcery (arm-2010.09-50-arm-none-linux-gnueabi) - OS: Ubuntu 11.04 x86 [1] http://pastebin.com/95M7iiPv [2] http://pastebin.com/eYvM65ij

3 3

L4Android servicemanager segfault
by LeMay, Michael D 01 Sep '11

01 Sep '11

Hello, I'm trying to configure L4Android for the RealView PBX A9 emulated by QEMU, but I'm experiencing the segfault indicated near the end of this bootstrap log: L4 Bootstrapper Build: #25 Mon Aug 29 22:02:55 CDT 2011, 4.5.2 Scanning up to 256 MB RAM Memory size is 256MB (00000000 - 10000000) RAM: 0000000000000000 - 000000000fffffff: 262144kB Total RAM: 256MB mod13: 0174b000-03a96000: system-arm-ginger.img mod12: 0164b000-0174b000: root-arm-ginger.img mod11: 012a9000-0164a448: vmlinuz.android mod10: 012a8000-012a810a: l4_android-arm.vbus mod09: 012a7000-012a74c1: arm-rv-eb.devs mod08: 012a6000-012a665f: l4_gingerbread-arm.cfg mod07: 0127c000-012a55b8: fb-drv mod06: 011ee000-0127b46c: mag mod05: 01113000-011edb58: io mod04: 010bf000-011121b8: ned mod03: 010a5000-010be510: l4re mod02: 0106b000-010a45f0: moe mod01: 01061000-0106a33c: sigma0 mod00: 01015000-0106036c: fiasco Moving 14 modules to 1100000 with offset eb000 moving module 14 { 174b000-3a96000 } -> { 1836000-3b81000 } moving module 13 { 164b000-174b000 } -> { 1736000-1836000 } moving module 12 { 12a9000-164a448 } -> { 1394000-1735448 } moving module 11 { 12a8000-12a810a } -> { 1393000-139310a } moving module 10 { 12a7000-12a74c1 } -> { 1392000-13924c1 } moving module 09 { 12a6000-12a665f } -> { 1391000-139165f } moving module 08 { 127c000-12a55b8 } -> { 1367000-13905b8 } moving module 07 { 11ee000-127b46c } -> { 12d9000-136646c } moving module 06 { 1113000-11edb58 } -> { 11fe000-12d8b58 } moving module 05 { 10bf000-11121b8 } -> { 11aa000-11fd1b8 } moving module 04 { 10a5000-10be510 } -> { 1190000-11a9510 } moving module 03 { 106b000-10a45f0 } -> { 1156000-118f5f0 } moving module 02 { 1061000-106a33c } -> { 114c000-115533c } moving module 01 { 1015000-106036c } -> { 1100000-114b36c } Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/l4_gingerbread-arm.cfg Relocated mbi to [0x100f000-0x100f1fc] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x2000 Regions of list regions [ 1000, 19ff] { a00} Kern fiasco [ 2000, 5cfff] { 5b000} Kern fiasco [ 90000, 9e17b] { e17c} Sigma0 sigma0 [ 140000, 17160b] { 3160c} Root moe [ 178000, 18eec7] { 16ec8} Root moe [ 1000000, 10143eb] { 143ec} Boot bootstrap [ 100f000, 100f2f9] { 2fa} Root Multiboot info [ 1190000, 3b80fff] { 29f1000} Root Modules Memory API Version: (87) experimental Sigma0 config ip:000900e0 sp:01013044 Roottask config ip:00140178 sp:00000000 Starting kernel fiasco at 00001000 Realview System ID: Rev=0 HBI=178 Build=0 Arch=5 FPGA=00 L2: ID=00000000 Type=00000000 L2 cache enabled Hello from Startup::stage2 Initialize page table Number of IRQs available at this GIC: 96 Vmem_alloc::init() Cache config: ON ID_PFR0: 00001031 ID_PFR1: 00000011 ID_DFR0: 00000000 ID_AFR0: 00000000 ID_MMFR0: 00100103 ID_MMFR1: 20000000 ID_MMFR2: 01230000 ID_MMFR3: 00002111 SERIAL ESC: allocated IRQ 44 for serial uart Not using serial hack in slow timer handler. [1;32mWelcome to Fiasco.OC (arm)! [0;32mL4/Fiasco.OC arm microkernel (C) 1998-2011 TU Dresden Rev: r36 compiled with gcc 4.5.2 for Realview [] Build: #1 Mon Aug 29 13:29:34 CDT 2011 [0m Calibrating timer loop... done. SIGMA0: Hello! KIP @ 2000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:0;fff] [0:5d000;8ffff] [0:9f000;13ffff] [4:140000;171fff] [0:172000;177fff] [4:178000;18efff] [0:18f000;100efff] [4:100f000;100ffff] [0:1010000;118ffff] [4:1190000;3b80fff] [0:3b81000;effffff] IOMEM:---------------------- [0:10000000;ffffffff] MOE: Hello world MOE: found 202084 KByte free memory MOE: found RAM from 5d000 to f000000 MOE: allocated 239 KByte for the page array @0x9f000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [1190000-11a9510] [C:503000] l4re BOOTFS: [11aa000-11fd1b8] [C:504000] ned BOOTFS: [11fe000-12d8b58] [C:505000] io BOOTFS: [12d9000-136646c] [C:506000] mag BOOTFS: [1367000-13905b8] [C:507000] fb-drv BOOTFS: [1391000-139165f] [C:508000] l4_gingerbread-arm.cfg BOOTFS: [1392000-13924c1] [C:509000] arm-rv-eb.devs BOOTFS: [1393000-139310a] [C:50a000] l4_android-arm.vbus BOOTFS: [1394000-1735448] [C:50b000] vmlinuz.android BOOTFS: [1736000-1836000] [C:50c000] root-arm-ginger.img BOOTFS: [1836000-3b81000] [C:50d000] system-arm-ginger.img MOE: cmdline: moe rom/l4_gingerbread-arm.cfg MOE: Starting: rom/ned rom/l4_gingerbread-arm.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4_gingerbread-arm.cfg' [31mio | Io service[0m [31mio | Ready. Waiting for request.[0m [36mfb | libio: Warning: Finding 'icu' in system bus failed with 'No such object found'[0m [36mfb | Using LCD driver: ARM AMBA PrimeCell 11x[0m [32mmag | Hello from MAG[0m [36mfb | Running on QEmu (assuming PL111).[0m [36mfb | Video memory is at virtual 0x4000 (size: 0x180000 Bytes)[0m [36mfb | Physical video memory is at 0x48c000[0m [36mfb | Color mode: 11:5:0 5:6:5[0m [36mfb | Detected a 'ARM AMBA PrimeCell PL111' device.[0m [36mfb | Configure 8.4 CLCD[0m [36mfb | Starting server loop[0m [32mmag | mapped frame buffer at 0x200000[0m [32mmag | View::Info:[0m [32mmag | flags: 0[0m [32mmag | size: 1024x768 pos: 0, 0[0m [32mmag | bytes_per_line: 2048[0m [32mmag | buffer_offset: 0[0m [32mmag | RGBA(2): 5(11):6(5):5(0):0(0)[0m [32mmag | memory 200000-380000[0m [32mmag | Plugin: Mag_client service started[0m [32mmag | Plugin: Frame-buffer service started[0m [32mmag | L4INPUT native mode activated[0m [32mmag | L4INPUT: !!! W A R N I N G !!![0m [32mmag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT.[0m [32mmag | L4INPUT: !!! W A R N I N G !!![0m[32m[0m [32mmag | pl050: got memory 10006000, virtual base at 0x102000, IRQ 52[0m [32mmag | input: AT Raw Set 2 keyboard on AMBA KMI Kbd[0m [32mmag | pl050: got memory 10007000, virtual base at 0x103000, IRQ 53[0m [32mmag | input: ImExPS/2 Generic Explorer Mouse on AMBA KMI mou[0m [32mmag | l4drv: Could not find driver for OMAP_TSC.[0m [32mmag | l4drv: Could not find driver for OMAP_KP.[0m [32mmag | connect "AT Raw Set 2 keyboard", AMBA KMI Kbd/input0[0m [32mmag | connect "ImExPS/2 Generic Explorer Mouse", AMBA KMI mou/input0[0m [33mandroid | libio: Warning: Finding 'icu' in system bus failed with 'No such device'[0m [33mandroid | PH 0 (t: 1) offs=00008000 vaddr=00100000 vend=0050efe4[0m [33mandroid | f_sz=[0m[33m00388538 memsz=0040efe4 flgs=rwx[0m [33mandroid | PH 1 (t: 4) offs=00390514 vaddr=00488514 vend=00488538[0m [33mandroid | f_sz=[0m[33m00000024 memsz=00000024 flgs=r-x[0m [33mandroid | PH 2 (t: 1685382481) offs=00000000 vaddr=00000000 vend=00000000[0m [33mandroid | f_sz=[0m[33m00000000 memsz=00000000 flgs=rwx[0m [33mandroid | Starting binary at 0x129498, argc=15 argv=0x80007f6c *argv=0xb1007fec argv0=rom/vmlinuz.android[0m [33mandroid | External resolver is at 0xa8000670[0m [33mandroid | [34;1m======> L4Linux 2.6 starting... <========[0m[0m [33mandroid | Linux version 2.6.39-l4+ (mdlemay2@...) (gcc version 4.5.2 (Sourcery G++ Lite 2011.03-41) ) #3 SMP Mon Aug 29 21:01:42 CDT 2011[0m [33mandroid | Binary name: rom/vmlinuz.android[0m [33mandroid | This is an AEABI build.[0m [33mandroid | Linux kernel command line (14 args): [0m[33mconsole=ttyLv0 androidboot.console=ttyLv0 mem=128M l4bdds.add=rom/system-arm-ginger.img,rw boot=local android.ril=ttyLv1 ip=dhcp l4x_rd=rom/root-arm-ginger.img rw root=1:0 ramdisk_size=1500 init=/init --debug l4fb.touchscreen=1[0m[33m[0m [33mandroid | CPU mapping (l:p)[1]: 0:0[0m [33mandroid | Image: 00100000 - 00600000 [5120 KiB].[0m [33mandroid | Areas: Text: 00100000 - 00466000 [3480kB] (a bit longer)[0m [33mandroid | Data: 00466000 - 00483dc0 [119kB][0m [33mandroid | Initdata: 00100000 - 00128000 [160kB][0m [33mandroid | BSS: 00488538 - 0050efe4 [538kB][0m [33mandroid | Device scan:[0m [33mandroid | l4lx_thread_create: Created thread 415 (cpu0) (u:b3000400, v:b3000600, sp:00467ff0)[0m [33mandroid | main thread will be 415[0m [33mandroid | l4x_register_pointer_section: addr = 00100000 size = 4255744[0m [33mandroid | section-with-init: virt: 0x100000 to 0x50efe3 [4155 KiB][0m [33mandroid | section-with-init: Phys: 0x00722000 to 0x00b30fe4, Size: 4255716[0m [33mandroid | l4x_linux_startup: thread 415.[0m [33mandroid | Main thread running, waiting...[0m [33mandroid | main thread: received startup message.[0m [33mandroid | utcb 0xb3000400[0m [33mandroid | l4x_setup_memory: Forcing superpages for main memory[0m [33mandroid | l4re_global_env: 0xb1007e54[0m [33mandroid | Main memory size: 128MB[0m [33mandroid | Main memory: virt: 0x600000 to 0x85fffff [131072 KiB][0m [33mandroid | Main memory: Phys: 0x03c00000 to 0x0bc00000, Size: 134217728[0m [33mandroid | Filling lower ptabs...[0m [33mandroid | Done (495 entries).[0m [33mandroid | l4x_register_pointer_section: addr = 005ff000 size = 4096[0m [33mandroid | end: virt: 0x5ff000 to 0x5fffff [4 KiB][0m [33mandroid | end: Phys: 0x00bc8000 to 0x00bc9000, Size: 4096[0m [33mandroid | l4x_rd_path: rom/root-arm-ginger.img[0m [33mandroid | Loading: rom/root-arm-ginger.img[0m [33mandroid | INITRD: Size of RAMdisk is 1024KiB[0m [33mandroid | RAMdisk from 10600000 to 10700000 [1024KiB][0m [33mandroid | l4lx_thread_create: Created thread 41c (timer.i0) (u:b3000800, v:00000000, sp:004a5ff4)[0m [33mandroid | timer_irq_thread: Starting timer IRQ thread.[0m Linux version 2.6.39-l4+ (mdlemay2@...) (gcc version 4.5.2 (Sourcery G++ Lite 2011.03-41) ) #3 SMP Mon Aug 29 21:01:42 CDT 2011 CPU: Fiasco [860f0001] revision 1 (ARMvundefined/unknown), cr=00000000 CPU: unknown data cache, unknown instruction cache cpu_v7_proc_init Machine: L4 Memory policy: ECC disabled, Data cache writealloc arm926_flush_kern_cache_all() INITRD: 10600000 - 10700000 PERCPU: Embedded 5 pages/cpu @00713000 s6208 r0 d14272 u32768 Built 1 zonelists in Zone order, mobility grouping on. Total pages: 33781 Kernel command line: console=ttyLv0 androidboot.console=ttyLv0 mem=128M l4bdds.add=rom/system-arm-ginger.img,rw boot=local android.ril=ttyLv1 ip=dhcp l4x_rd=rom/root-arm-ginger.img rw root=1:0 ramdisk_size=1500 init=/init --debug l4fb.touchscreKernePID hash table entries: 1024 (order: 0, 4096 bytes) Dentry cache hash table entries: 32768 (order: 5, 131072 bytes) Inode-cache hash table entries: 16384 (order: 4, 65536 bytes) Memory: 0MB 133MB = 133MB total Memory: 129740k/129740k available, 6456k reserved, 0K highmem Virtual kernel memory layout: vector : 0xbffff000 - 0xc0000000 ( 4 kB) fixmap : 0xfff00000 - 0xfffe0000 ( 896 kB) DMA : 0xffc00000 - 0xffe00000 ( 2 MB) vmalloc : 0x08600000 - 0x10600000 ( 128 MB) lowmem : 0x00000000 - 0x08600000 ( 134 MB) modules : 0xff100000 - 0x00100000 ( 16 MB) .init : 0x00100000 - 0x00128000 ( 160 kB) .text : 0x00129000 - 0x00464744 (3310 kB) .data : 0x00466000 - 0x00483dc0 ( 120 kB) Hierarchical RCU implementation. NR_IRQS:220 l4lx_irq_init: l4lx_irq_max = 220 l4lx_irq_dev_startup_timer(0) Console: colour dummy device 80x30 console [ttyLv0] enabled Calibrating delay loop... 269.10 BogoMIPS (lpj=1345536) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 512 CPU: Testing write buffer coherency: ok Brought up 1 CPUs SMP: Total of 1 processors activated (269.10 BogoMIPS). NET: Registered protocol family 16 bio: create slab <bio-0> at 0 Switching to clocksource kip NET: Registered protocol family 2 IP route cache hash table entries: 2048 (order: 1, 8192 bytes) TCP established hash table entries: 8192 (order: 4, 65536 bytes) TCP bind hash table entries: 8192 (order: 4, 65536 bytes) TCP: Hash tables configured (established 8192 bind 8192) TCP reno registered UDP hash table entries: 128 (order: 0, 4096 bytes) UDP-Lite hash table entries: 128 (order: 0, 4096 bytes) NET: Registered protocol family 1 RPC: Registered udp transport module. RPC: Registered tcp transport module. RPC: Registered tcp NFSv4.1 backchannel transport module. Trying to unpack rootfs image as initramfs... rootfs image is not initramfs (junk in compressed archive); looks like an initrd INITRD: Freeing memory. Hi from the sample module [33mandroid | sample module: Also a warm welcome to the console[0m msgmni has been set to 253 io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) l4fb l4fb.0: look for capability 'fb' as goos session l4fb l4fb.0: 640x480@16 2bypp, size: 614400 @ 10600000 l4fb l4fb.0: 5:6:5 11:5:0 linelen=1280 visual=2 Console: switching to colour frame buffer device 80x30 l4fb l4fb.0: l4fb L4 frame buffer device (refresh: 10jiffies) input: L4keyb '0' as /devices/virtual/input/input0 input: L4mouse '0' as /devices/virtual/input/input1 L4 serial driver ttyLv0 at MMIO 0x1 (irq = 210) is a L4 L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: Disk 'rom/system-arm-ginger.img' size = 36140 KB (35 MB) flags=101 addr=10697000 ------------[ cut here ]------------ WARNING: at /home/mdlemay2/tmp/l4android/kernel/softirq.c:159 local_bh_enable_ip+0xa0/0xac() [<001360ac>] (unwind_backtrace+0x0/0xf8) from [<00147b7c>] (warn_slowpath_common+0x50/0x60) [<00147b7c>] (warn_slowpath_common+0x50/0x60) from [<00147c40>] (warn_slowpath_null+0x1c/0x24) [<00147c40>] (warn_slowpath_null+0x1c/0x24) from [<0014de44>] (local_bh_enable_ip+0xa0/0xac) [<0014de44>] (local_bh_enable_ip+0xa0/0xac) from [<0019594c>] (bdi_register+0xec/0x150) [<0019594c>] (bdi_register+0xec/0x150) from [<001959dc>] (bdi_register_dev+0x2c/0x34) [<001959dc>] (bdi_register_dev+0x2c/0x34) from [<002ad8b8>] (add_disk+0x9c/0x27c) [<002ad8b8>] (add_disk+0x9c/0x27c) from [<001138fc>] (l4bdds_init+0x234/0x28c) [<001138fc>] (l4bdds_init+0x234/0x28c) from [<00100780>] (do_one_initcall+0xa0/0x16c) [<00100780>] (do_one_initcall+0xa0/0x16c) from [<00100918>] (kernel_init+0xcc/0x15c) [<00100918>] (kernel_init+0xcc/0x15c) from [<0012e5d0>] (kernel_thread_exit+0x0/0x8) ---[ end trace 9feec23bbcf28fc1 ]--- l4bdds0: detected capacity change from 0 to 37007360 l4bdds0: unknown partition table mousedev: PS/2 mouse device common for all mice TCP cubic registered NET: Registered protocol family 17 Registering the dns_resolver key type [32mmag | Input: new keyboard device (src='userdata: 0x1e2e8' stream='userdata: 0x13560')[0m [32mmag | bus='i8042' vendor=0x1 product=0x2 version=43907[0m[32m[0m RAMDISK: ext2 filesystem found at block 0 RAMDISK: Loading 1024KiB [1 disk] into ram disk... |/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\|/-\done. EXT2-fs (ram0): warning: mounting unchecked fs, running e2fsck is recommended VFS: Mounted root (ext2 filesystem) on device 1:0. Freeing init memory: 160K init: cannot open '/initlogo.rle' init: Unable to open persistent property directory /data/property errno: 2 init (1): /proc/1/oom_adj is deprecated, please use /proc/1/oom_score_adj instead. init: cannot find '/system/etc/install-recovery.sh', disabling 'flash_recovery' [33mandroid | cpu0: segfault for servicemanager(24) [T:a5] at 00000000, ip=00008ca2, pferror = 4[0m [33mandroid | 00008000 - 0000a000 r-xp 00000 /system/bin/servicemanager <====[0m [33mandroid | 0000a000 - 0000b000 rwxp 00002 /system/bin/servicemanager[0m [33mandroid | 0000b000 - 0000c000 rwxp[0m [33mandroid | 400ed000 - 400f5000 r-xs 00000 /dev/__properties__ (deleted)[0m [33mandroid | 40118000 - 40119000 r-xp[0m [33mandroid | afa00000 - afa03000 r-xp 00000 /system/lib/liblog.so[0m [33mandroid | afa03000 - afa04000 rwxp 00003 /system/lib/liblog.so[0m [33mandroid | afb00000 - afb20000 r-xp 00000 /system/lib/libm.so[0m [33mandroid | afb20000 - afb21000 rwxp 00020 /system/lib/libm.so[0m [33mandroid | afc00000 - afc01000 r-xp 00000 /system/lib/libstdc++.so[0m [33mandroid | afc01000 - afc02000 rwxp 00001 /system/lib/libstdc++.so[0m [33mandroid | afd00000 - afd40000 r-xp 00000 /system/lib/libc.so[0m [33mandroid | afd40000 - afd43000 rwxp 00040 /system/lib/libc.so[0m [33mandroid | afd43000 - afd4e000 rwxp[0m [33mandroid | b0001000 - b0009000 r-xp 00001 /system/bin/linker[0m [33mandroid | b0009000 - b000a000 rwxp 00009 /system/bin/linker[0m [33mandroid | b000a000 - b0013000 rwxp[0m [33mandroid | bf96f000 - bf991000 rw-p[0m [33mandroid | ffff0000 - ffff1000 r-xp[0m [33mandroid | 0: 00000000 00000000 afd46608 00000001 4: 0000a170 00000000 afd41504 bf990ccc[0m [33mandroid | 8: 00000000 00000000 00000000 00000000 12: 0000a1ac [01;34mbf990c88[0m 00008795 [01;34m00008ca2[0m[0m [33mandroid | CPSR: 40000030 Err: 00000004[0m [1;25r[25;1H [32m ---------------------------------------------------------------------[m CPU 0 [f0012190]: segfault [25;1H[32m[ l4lx.cpu0] jdb: [m[K I built the Android userspace from source using the generic-user configuration. Here is my L4Re configuration file: BUILD_SYSTEMS=arm_armv7a arm_armv7a-l4f COLOR_TERMINAL=y CONFIG_ARM_PLATFORM_TYPE="rv" CONFIG_BUILD_ABI="l4f" CONFIG_BUILD_ABI_l4f=y CONFIG_BUILD_ARCH="arm" CONFIG_BUILD_ARCH_arm=y CONFIG_CPU_ARM_ARMV7A=y CONFIG_CPU_ARMV6KPLUS=y CONFIG_CPU_ARMV6PLUS=y CONFIG_CPU="armv7a" CONFIG_CTAGS="ctags" CONFIG_DROPS_INSTDIR="/path/to/l4re" CONFIG_DROPS_STDDIR="/path/to/l4re" CONFIG_ETAGS="etags" CONFIG_LABEL="" CONFIG_LEX="flex" CONFIG_PLATFORM_ARM_rv=y CONFIG_RAM_BASE=0x0 CONFIG_RAM_SIZE_MB=256 CONFIG_YACC="yacc" GCCDIR=/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2 GCCLIBDIR=/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2/ GCCLIB_EH=/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2/libgcc_eh.a GCCLIB=/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2/libgcc.a GCCMAJORVERSION=4 GCCMINORVERSION=5 GCCNOSTACKPROTOPT=-fno-stack-protector GCCSUBVERSION=2 GCCSYSLIBDIRS=-L=/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2/ -L/opt/armgcc/bin/../lib/gcc/ -L/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2/../../../../arm-none-linux-gnueabi/lib/arm-none-linux-gnueabi/4.5.2/ -L/opt/armgcc/bin/../lib/gcc/arm-none-linux-gnueabi/4.5.2/../../../../arm-none-linux-gnueabi/lib/ -L/opt/armgcc/bin/../arm-none-linux-gnueabi/libc/lib/arm-none-linux-gnueabi/4.5.2/ -L/opt/armgcc/bin/../arm-none-linux-gnueabi/libc/lib/ -L/opt/armgcc/bin/../arm-none-linux-gnueabi/libc/usr/lib/arm-none-linux-gnueabi/4.5.2/ -L/opt/armgcc/bin/../arm-none-linux-gnueabi/libc/usr/lib/ GCCVERSION=4.5 HOST_SYSTEM=linux INT_CPP_NAME=cc1 INT_CXX_NAME=cc1plus INT_LD_NAME=arm-none-linux-gnueabi-ld LD_EMULATION=armelf_linux_eabi LD_GENDEP_PREFIX=LD_PRELOAD=libgendep.so LD_LIBRARY_PATH=/home/mdlemay2/tmp/l4re/l4/build/tool/gendep/64:/home/mdlemay2/tmp/l4re/l4/build/tool/gendep/32 LD_HAS_HASH_STYLE_OPTION=y LDVERSION=220 include /home/mdlemay2/tmp/l4re/l4/build/.config.indep Here is my Fiasco (r36) configuration file: # # Automatically generated make config: don't edit # Fiasco configuration # Mon Aug 29 13:29:25 2011 # # # Target configuration # # CONFIG_IA32 is not set # CONFIG_AMD64 is not set CONFIG_ARM=y CONFIG_PF_REALVIEW=y # CONFIG_PF_IMX is not set # CONFIG_PF_S3C2410 is not set # CONFIG_PF_TEGRA2 is not set # CONFIG_PF_OMAP is not set # CONFIG_PF_XSCALE is not set # CONFIG_PF_SA1100 is not set # CONFIG_PF_KIRKWOOD is not set # CONFIG_PF_INTEGRATOR is not set CONFIG_BSP_NAME="realview" # CONFIG_PF_REALVIEW_EB is not set # CONFIG_PF_REALVIEW_PB11MP is not set CONFIG_PF_REALVIEW_PBX=y # CONFIG_PF_REALVIEW_VEXPRESS is not set CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x0=y # CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x2 is not set # CONFIG_PF_REALVIEW_RAM_PHYS_BASE_0x7 is not set CONFIG_PF_REALVIEW_RAM_PHYS_BASE=0x0 CONFIG_PF_REALVIEW_L2CACHE=y CONFIG_ABI_VF=y CONFIG_PF_ARM_MP_CAPABLE=y CONFIG_CAN_ARM_CPU_CORTEX_A9=y CONFIG_ARM_CORTEX_A9=y # CONFIG_ARM_ALIGNMENT_CHECK is not set # CONFIG_ARM_CA9_ENABLE_SWP is not set # CONFIG_FPU is not set # # Kernel options # CONFIG_CONTEXT_4K=y # CONFIG_FINE_GRAINED_CPUTIME is not set CONFIG_SCHED_FIXED_PRIO=y # # Debugging # CONFIG_INLINE=y # CONFIG_NDEBUG is not set CONFIG_NO_FRAME_PTR=y # CONFIG_STACK_DEPTH is not set # CONFIG_LIST_ALLOC_SANITY is not set CONFIG_SERIAL=y CONFIG_JDB=y # CONFIG_JDB_LOGGING is not set # CONFIG_JDB_DISASM is not set # CONFIG_JDB_GZIP is not set # CONFIG_VMEM_ALLOC_TEST is not set # CONFIG_DEBUG_KERNEL_PAGE_FAULTS is not set # CONFIG_WARN_NONE is not set CONFIG_WARN_WARNING=y # CONFIG_WARN_ANY is not set # # Compiling # CONFIG_CC="gcc" CONFIG_CXX="g++" CONFIG_HOST_CC="gcc" CONFIG_HOST_CXX="g++" # CONFIG_VERBOSE is not set # CONFIG_MAINTAINER_MODE is not set CONFIG_LABEL="" # CONFIG_EXPERIMENTAL is not set CONFIG_PERF_CNT=y CONFIG_BIT32=y CONFIG_ARM_V7=y CONFIG_ARM_V6PLUS=y CONFIG_WARN_LEVEL=1 CONFIG_XARCH="arm" CONFIG_ABI="vf" I built an ELF image for QEMU and executed it with this command: qemu-system-arm -kernel build/images/bootstrap_lx_ginger-arm.elf -M realview-pbx-a9 -serial stdio -m 256 Any ideas on what's going wrong or next steps I can take to diagnose the issue? Thanks! Best regards, Michael LeMay http://m.lemays.org

2 3

How can I destroy a kernel object
by Chen Tian 30 Aug '11

30 Aug '11

Hello, Is there any L4RE API that allows me to destroy a kernel object that is created via l4_factory_create_xxx? Thanks. Chen

2 1

L4Android minor issue report
by giowck 29 Aug '11

29 Aug '11

Hi, I found a small issue during the build process of L4Android for x86 target (arm target build works as expected). When using the make command to generate images (e.g make grub2iso lx_gingerbread-x86), the following error appears: Processing entry 'l4_gingerbread' Could not find 'l4_gingerbread.cfg' with path '...' make[1]: *** [grub2iso] Error 2 make[1]: Exiting Directory '/home/giowck/tests/target_x86/l4re-snapshot-2011062216/src/l4' make: *** [grub2iso] Error 2 This is caused by an outdated module entry in the 'modules-x86.list' file in the 'configs' git repository (and L4Android Website in the 'Create ISO Image' instructions). Here are some 'x86' suffixes missing. Patch file ========== --- modules-x86.list 2011-08-28 13:43:09.669688003 +0200 +++ modules-x86_fixed.list 2011-08-28 13:44:02.546068212 +0200 @@ -1,6 +1,6 @@ modaddr 0x01100000 entry l4_gingerbread -roottask moe rom/l4_gingerbread.cfg +roottask moe rom/l4_gingerbread-x86.cfg kernel fiasco -serial_esc module l4re module ned @@ -8,9 +8,9 @@ module rtc module mag module fb-drv -module l4_gingerbread.cfg +module l4_gingerbread-x86.cfg module x86-legacy.devs -module l4_android.vbus +module l4_android-x86.vbus module vmlinuz.android module root-x86-ginger.img module system-x86-ginger.img With the above patch, the images are built successfully. It would be nice if you update the L4Android Website ("Create ISO Image") and the configs repository. Regards Giorgio

2 1

Broken links in L4Re documentation
by Michal Sojka 24 Aug '11

24 Aug '11

Hi, I've just browsed through L4Re documentation and found that links to examples in http://os.inf.tu-dresden.de/L4Re/doc/classL4Re_1_1Dataspace.html are broken. For example, one link poinst to http://os.inf.tu-dresden.de/L4Re/doc/examples_2libs_2l4re_2c_09_09_2shared_… and the correct URL seems to be http://os.inf.tu-dresden.de/L4Re/doc/examples_2libs_2l4re_2c_09_09_2shared_… -Michal

2 1

l4re-snapshot-2011081207 and l4android for arm: build error after update
by giowck 24 Aug '11

24 Aug '11

Hi, I downloaded the latest l4re snapshot (l4re-snapshot-2011081207), in order to compile it along with l4android for arm. Finally it compiles with the CodeSourcery cross compiler (as noted in the README file), where the previous snapshot failed and worked only for me with the 4.2-arm-softfloat compiler (without EABI support). But, with the latest snapshot I get a new error: # make L4ARCH=arm CROSS_COMPILE=arm-linux- -j4 make -C /home/wicklein/tests/l4android/kernel O=/home/wicklein/tests/l4android/l4android_builddir/. Package l4re-main was not found in the pkg-config search path. Perhaps you should add the directory containing `l4re-main.pc' to the PKG_CONFIG_PATH environment variable No package 'l4re-main' found Getting required compilation flags failed. L4OBJ: /home/wicklein/tests/l4re-snapshot-latest/obj/l4/arm-beagleboard L4_REQUIRED_MODS: l4re-main libc_be_minimal_log_io libc_minimal libsupc++_minimal log l4re_c-util libio libvcpu shmc /home/wicklein/tests/l4android/kernel/arch/l4/Makefile:315: *** Aborting.. Schluss. make[1]: *** [sub-make] Fehler 2 make: *** [all] Fehler 2 Just wanted to report that. Now I'll try to copy just the l4re-main.pc file from the old snapshot to the new pc directory. Regards Giorgio

2 1

Little fixup around pthreads
by Marc CHALAND 22 Aug '11

22 Aug '11

Hi guys, Symptoms are: sem_timedwait behaves quite like sem_wait after 0x80000000 usec system has been started. Regards Marc diff --git a/src/l4/pkg/uclibc/lib/libpthread/src/restart.h b/src/l4/pkg/uclibc/lib/libpthread/src/restart index 26ae5ea..92b71d3 100644 --- a/src/l4/pkg/uclibc/lib/libpthread/src/restart.h +++ b/src/l4/pkg/uclibc/lib/libpthread/src/restart.h @@ -37,7 +37,7 @@ static __inline__ int timedsuspend(pthread_descr self, { #if 1 extern uint64_t __attribute__((weak)) __libc_l4_kclock_offset; - uint64_t clock = abstime->tv_sec * 1000000 + abstime->tv_nsec / 1000; + uint64_t clock = ((uint64_t) abstime->tv_sec) * 1000000 + ((uint64_t) abstime->tv_nsec) / 1000; if (&__libc_l4_kclock_offset) clock -= __libc_l4_kclock_offset; l4_msgtag_t res = l4_usem_down_to(self->p_thsem_cap, &self->p_thsem,

3 3

[Fix] Small build fix for old Fiasco/L4Env version
by Sebastian Sumpf 16 Aug '11

16 Aug '11

Hi there, I attached a small build correction I encountered while building L4Env with Perl 5.12. This is necessary since Perl 5.11's and above 'split' does not automatically assign '@_' anymore. Greetings, Sebastian

2 1

Building L4Re, make errors
by giowck 12 Aug '11

12 Aug '11

Hi l4-hackers, I'm trying to compile the L4 Runtime for the x86 arch, using the latest snapshot (l4re-snapshot-2011062216). After "make setup" and "make", the following error interrupts the build process: "/home/giowck/tests/l4re-snapshot-2011062216/src/l4/pkg/uclibc-minimal/libc/Make.rules:22: *** unkwon source file: libc/signal/sigsetops.h. Abort." The full output of the make command is available on a pastebin [1]. I'm using: gcc-Version 4.6.1 (GCC), see [2] for the full "gcc -v" output. My system is Arch Linux i686. Maybe anyone can give me a hint? Thank you, Giorgio [1] http://pastebin.com/r4K4SFef [2] http://pastebin.com/1zLnLy9w

2 2

Test suite for Fiasco
by Bryce CR 11 Aug '11

11 Aug '11

Hello Hackers, I've been tinkering with the internals of Fiasco a bit, and I'm at the point where the kernel boots & runs hello as well as hello-shared without issue. The thing is, though, these tests seem to use only a fraction of my code (and I know there are some pretty sketchy lurkers in my code...), so I'm looking for a more thorough test of kernel capabilities to verify my changes are relatively operational in many/most cases. I'm aware of some options here, but I didn't want to use a hammer if all I need is a screwdriver. So, to you: what is the most straightforward way to test Fiasco with existing software? I'm aware of L4Linux and ORe as possibilities -- are these good options, or is there a simpler tool for the job? Thank you! --Bryce

2 5

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