Hello,
recently I tried to run hello program in top of l4/fiasco.oc for exynos 4412 platform, but qemu doest'n have any platform that support it (at least my installed version)

none                 empty machine
collie               Collie PDA (SA-1110)
nuri                 Samsung NURI board (Exynos4210)
smdkc210             Samsung SMDKC210 board (Exynos4210)
connex               Gumstix Connex (PXA255)
verdex               Gumstix Verdex (PXA270)
highbank             Calxeda Highbank (ECX-1000)
midway               Calxeda Midway (ECX-2000)
integratorcp         ARM Integrator/CP (ARM926EJ-S) (default)
kzm                  ARM KZM Emulation Baseboard (ARM1136)
mainstone            Mainstone II (PXA27x)
musicpal             Marvell 88w8618 / MusicPal (ARM926EJ-S)
n800                 Nokia N800 tablet aka. RX-34 (OMAP2420)
n810                 Nokia N810 tablet aka. RX-44 (OMAP2420)
sx1                  Siemens SX1 (OMAP310) V2
sx1-v1               Siemens SX1 (OMAP310) V1
cheetah              Palm Tungsten|E aka. Cheetah PDA (OMAP310)
realview-eb          ARM RealView Emulation Baseboard (ARM926EJ-S)
realview-eb-mpcore   ARM RealView Emulation Baseboard (ARM11MPCore)
realview-pb-a8       ARM RealView Platform Baseboard for Cortex-A8
realview-pbx-a9      ARM RealView Platform Baseboard Explore for Cortex-A9
akita                Akita PDA (PXA270)
spitz                Spitz PDA (PXA270)
borzoi               Borzoi PDA (PXA270)
terrier              Terrier PDA (PXA270)
lm3s811evb           Stellaris LM3S811EVB
lm3s6965evb          Stellaris LM3S6965EVB
tosa                 Tosa PDA (PXA255)
versatilepb          ARM Versatile/PB (ARM926EJ-S)
versatileab          ARM Versatile/AB (ARM926EJ-S)
vexpress-a9          ARM Versatile Express for Cortex-A9
vexpress-a15         ARM Versatile Express for Cortex-A15
xilinx-zynq-a9       Xilinx Zynq Platform Baseboard for Cortex-A9
z2                   Zipit Z2 (PXA27x)

For that reason I try to test hello/l4/fiasco.oc in realview pbxa9 platform.

I create build directories for l4 and fiasco, configure and compile them for realview pbxa9 platform. Then I execute the following command:

~/build/l4.realview$ make -j2 elfimage E=hello MODULE_SEARCH_PATH=~/build/foc.realview SYSTEM_TARGET=/usr/local/arm-2012.03/bin/arm-none-linux-gnueabi-

and this was the result:

make[1]: se ingresa al directorio «/home/afmoya/src/l4»
=========== Updating RAM_BASE for platform rv_pbx to 0x70000000 =========
... Regenerating RAM_BASE settings
make[2]: se ingresa al directorio «/home/afmoya/src/l4/pkg/sigma0/server/src»
make[2]: atención: el servidor de tareas no está disponible: se utilizará -j1. Añada `+' a la regla padre del make.
make[3]: se ingresa al directorio «/home/afmoya/build/l4.realview/pkg/sigma0/server/src/OBJ-arm_armv7a-l4f»
... Building Makefile.inc
make[3]: se sale del directorio «/home/afmoya/build/l4.realview/pkg/sigma0/server/src/OBJ-arm_armv7a-l4f»
make[3]: se ingresa al directorio «/home/afmoya/build/l4.realview/pkg/sigma0/server/src/OBJ-arm_armv7a-l4f»
==> Linking sigma0
==> "sigma0" built
==> Installing sigma0 to local build-tree
make[3]: se sale del directorio «/home/afmoya/build/l4.realview/pkg/sigma0/server/src/OBJ-arm_armv7a-l4f»
make[2]: se sale del directorio «/home/afmoya/src/l4/pkg/sigma0/server/src»
make[2]: se ingresa al directorio «/home/afmoya/src/l4/pkg/moe/server/src»
make[2]: atención: el servidor de tareas no está disponible: se utilizará -j1. Añada `+' a la regla padre del make.
make[3]: se ingresa al directorio «/home/afmoya/build/l4.realview/pkg/moe/server/src/OBJ-arm_armv7a-l4f»
... Building Makefile.inc
make[3]: se sale del directorio «/home/afmoya/build/l4.realview/pkg/moe/server/src/OBJ-arm_armv7a-l4f»
make[3]: se ingresa al directorio «/home/afmoya/build/l4.realview/pkg/moe/server/src/OBJ-arm_armv7a-l4f»
==> Linking moe
==> "moe" built
==> Installing moe to local build-tree
make[3]: se sale del directorio «/home/afmoya/build/l4.realview/pkg/moe/server/src/OBJ-arm_armv7a-l4f»
make[2]: se sale del directorio «/home/afmoya/src/l4/pkg/moe/server/src»
make[2]: se ingresa al directorio «/home/afmoya/src/l4/pkg/bootstrap/server/src»
make[3]: se ingresa al directorio «/home/afmoya/build/l4.realview/pkg/bootstrap/server/src/OBJ-arm_armv7a»
... Building .general.d
... Building Makefile.inc
Building entry "hello".
Merging image /home/afmoya/build/foc.realview/fiasco to mod00 [344kB]
Merging image /home/afmoya/build/l4.realview/bin/arm_armv7a/l4f/sigma0 to mod01 [340kB]
Merging image /home/afmoya/build/l4.realview/bin/arm_armv7a/l4f/moe to mod02 [2396kB]
Merging image /home/afmoya/build/l4.realview/bin/arm_armv7a/l4f/l4re to mod03 [1227kB]
Merging image /home/afmoya/build/l4.realview/bin/arm_armv7a/l4f/hello to mod04 [887kB]
make[3]: se sale del directorio «/home/afmoya/build/l4.realview/pkg/bootstrap/server/src/OBJ-arm_armv7a»
make[3]: se ingresa al directorio «/home/afmoya/build/l4.realview/pkg/bootstrap/server/src/OBJ-arm_armv7a»
... Generating bootstrap.ld
... Compiling exec.o
... Compiling module.o
... Compiling ARCH-arm/crt0.o
... Compiling region.o
... Compiling startup.o
... Compiling init_kip_v2.o
... Compiling init_kip_v4.o
... Compiling libc_support+.o
... Compiling patch.o
... Compiling koptions.o
... Compiling platform/rv.o
... Compiling loader_mbi.o
... Compiling ARCH-arm/reboot.o
==> Linking bootstrap.elf
==> Post-processing bootstrap.elf
==> "bootstrap.elf" built
==> Installing bootstrap.elf in image directory
==> Installing bootstrap.elf to local build-tree
==> Installing bootstrap_hello to local build-tree
==> Installing bootstrap_hello.elf to local build-tree
==> Installing bootstrap_hello in image directory
==> Installing bootstrap_hello.elf in image directory
Image size(s) in bytes:
bootstrap_hello.elf: 971420
Start address: 0x71000000
--> Build-Nr: 2
make[3]: se sale del directorio «/home/afmoya/build/l4.realview/pkg/bootstrap/server/src/OBJ-arm_armv7a»
make[2]: se sale del directorio «/home/afmoya/src/l4/pkg/bootstrap/server/src»
make[1]: se sale del directorio «/home/afmoya/src/l4»

After that I execute:

~/build/l4.realview/images$ qemu-system-arm -M realview-pbx-a9 -kernel bootstrap_hello.elf -m 256 -serial mon:stdio -nographic

this was the result of the execution:

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 mié mar 26 13:02:05 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: 710cb000-710e4580: hello
mod03: 710b1000-710ca460: l4re
mod02: 71077000-710b062c: moe
mod01: 7106d000-71076378: sigma0
mod00: 71017000-7106cedc: fiasco
Moving up to 5 modules behind 71100000
moving module 00 { 71017000-7106cedb } -> { 711ce000-71223edb } [351964]
moving module 03 { 710b1000-710ca45f } -> { 71100000-7111945f } [103520]
moving module 04 { 710cb000-710e457f } -> { 71100000-7111957f } [103808]

...and that was all. No "Hello world".
After that I kill the qemu process.

What 's the problem with my procedure?

Sorry for the huge amount of lines of my email.

Best regards!

Alexis.