Hi Adam, I execute all the steps, configuring and building foc an l4 individually for realview-pbx-a9. // create foc builddir, configure and build cd ~/l4re-snapshot-2014022815/src/kernel/fiasco/ make BUILDDIR=~/build/foc.realview cd ~/build/foc.realview make config * Target configuration ? ? Architecture (ARM processor family) ---> ? ? Platform (ARM RealView Platform) ---> ? ? Realview Platform (PBX) ---> ? ? Start of RAM (physical address) (0x00000000) ---> ? ? CPU (ARM Cortex-A9 CPU) ---> ? ? [ ] Enable alignment check ? ? Execution Model (Standard mode) ---> * The other options by default. make -j2 all SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi- * Build successfull // create l4 builddir, configure and build cd ~/l4re-snapshot-2014022815/src/l4 make B=~/build/l4.realview cd ~/build/l4.realview make config SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi- ? ? Target Architecture (ARM architecture) ---> ? ? CPU variant (ARMv7A type CPU) ---> ? ? Platform Selection (ARM Realview PBX) ---> ? ? Building ---> make -j2 all SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi- * Build successfull // build and execute hello program in qemu for the realview-pbx-a9 platform make qemu E=hello QEMU_OPTIONS="-M realview-pbx-a9 -m 256 -serial stdio -nographic" MODULE_SEARCH_PATH=~/build/foc.realview SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi- make[1]: se ingresa al directorio «/home/afmoya/l4re-snapshot-2014022815/src/l4» Image size(s) in bytes: bootstrap_hello.elf: 975516 Start address: 0x71000000 --> Build-Nr: 2 QEmu-cmd: qemu-system-arm -kernel /home/afmoya/build/l4.realview/images/bootstrap.elf -M realview-pbx-a9 -m 256 -serial stdio -nographic QEMU 1.6.1 monitor - type 'help' for more information (qemu) oss: Could not initialize DAC oss: Failed to open `/dev/dsp' oss: Reason: No such file or directory oss: Could not initialize DAC oss: Failed to open `/dev/dsp' oss: Reason: No such file or directory audio: Failed to create voice `lm4549.out' L4 Bootstrapper Build: #2 mar abr 1 10:07:26 CDT 2014, 4.6.3 Scanning up to 256 MB RAM Memory size is 256MB (70000000 - 7fffffff) RAM: 0000000070000000 - 000000007fffffff: 262144kB Total RAM: 256MB mod04: 710cc000-710e5580: hello mod03: 710b2000-710cb460: l4re mod02: 71078000-710b162c: moe mod01: 7106e000-71077378: sigma0 mod00: 71017000-7106d6dc: fiasco Moving up to 5 modules behind 71100000 moving module 00 { 71017000, 7106d6db } (?ELF) -> { 711cf000 - 712256db } [354012] 464c457f 00010101 00000000 00000000 00280002 00000001 00001244 00000034 000564d4 05000002 00200034 00280006 000c000d 70000001 00052ef0 f0052ef0 00052ef0 00000028 00000028 00000004 00000004 00000001 000000f4 00001000 00001000 000003c0 00000bc0 00000007 00000004 00000001 00002000 f0002000 00002000 00050f18 0005e000 00000007 00004000 00000001 00052f20 ffff0000 00060000 00000500 00000500 00000005 00000010 00000001 00053420 f0061000 00061000 00003000 00003000 00000007 00000004 6474e551 00000000 00000000 00000000 00000000 00000000 00000007 00000004 e3030c09 e92d4ff0 e3410000 moving module 03 { 710b2000, 710cb45f } (?ELF) -> { 71100000 - 7111945f } [103520] 464c457f 00010101 00000000 00000000 00280002 00000001 b00001a4 00000034 000191e0 05000002 00200034 00280006 000f0010 70000001 00014874 b0014874 b0014874 00000808 00000808 00000004 00000004 00000006 00000034 b0000034 b0000034 000000c0 000000c0 00000004 00000004 00000001 00000000 b0000000 b0000000 00015080 00015080 00000005 00008000 00000001 00018000 b0018000 b0018000 000010c4 0000236c 00000006 00008000 00000007 00000000 00000000 00000000 00000000 00000000 00000000 00000004 60000014 00012a40 b0012a40 b0012a40 00000018 00000018 00000004 00000004 00000000 00000000 00000000 moving module 04 { 710cc000, 710e557f } (?ELF) -> { 71100000 - 7111957f } [103808] 464c457f 00010101 00000000 00000000 00280002 00000001 010001a4 00000034 000192d8 05000002 00200034 00280006 00100011 70000001 00015504 01015504 01015504 00000ae0 00000ae0 00000004 00000004 00000006 00000034 01000034 01000034 000000c0 000000c0 00000004 00000004 00000001 00000000 01000000 01000000 00015fe8 00015fe8 00000005 00008000 00000001 00018000 01018000 01018000 000011b4 0000734c 00000006 00008000 00000007 00018000 01018000 01018000 00000000 00000014 00000006 00000004 60000014 00013640 01013640 01013640 0000000c 0000000c 00000004 00000004 00000000 00000000 00000000 Compactifying How you can see, the result is equal to the other mail I send. Best regards, Alexis.