Thank you for the explanation. Having access to the prebuilt root and system images used in the ARM demo would be helpful. Are they already posted online? I only saw X86 images listed on this page: http://l4android.org/download/download.html Thanks.
Best regards, Michael LeMay http://m.lemays.org
-----Original Message----- From: Matthias Lange [mailto:mlange@sec.t-labs.tu-berlin.de] Sent: Tuesday, August 30, 2011 12:36 Cc: LeMay, Michael D; l4-hackers@os.inf.tu-dresden.de Subject: Re: L4Android servicemanager segfault
Hi,
I think, that this problem is related to the way the TLS is handled. Thus init times out waiting for the ueventd to create all necessary devices. Init then starts the servicemanager which does no checks on opening devices.
We have an internal solution but this is not yet ready to be pushed to the public. However it should work with the prebuilt images.
Br, Matthias.
On 08/30/2011 05:23 AM, LeMay, Michael D wrote:
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 MemoryAPI 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/libg cc_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-gn ueabi/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-linu x-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
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
-- Dipl.-Inf. Matthias Lange mlange@sec.t-labs.tu-berlin.de Security in Telecommunications TU Berlin / Deutsche Telekom Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.t-labs.tu-berlin.de/sect