Running L4Linux on fiasco-ux?

Is it possible to run l4linux under fiasco-ux?

I am just testing various scenarios and playing around getting familiar with 
how things work.

Here is the command I tried and the results :

./fiasco -G 1024x768@16 -m 256 -l names -l "dm_phys 
--mem=0x01400000,0x0a000000,0xffffffff" -l l4dope-ux -l l4ovlwm -l 
"vmlinuz26.ux mem=128M root=/dev/hda1 no-scroll"

And the end result was:

<snip>
Roottask: Loading 5 modules.
#05: loading "names"
     from [0ea3f000-0ea8440c] to [002d0000-002d776a][002d8000-002e4000]
     entry at 0000d360 via trampoline page code
     symbols at [0ea86000-0ea88000] (8kB), lines at [0da56000-0da5d000] (28kB)
#06: loading "dm_phys --mem=0x01400000,0x0a000000,0xffffffff"
     from [0e9b3000-0ea3ed22] to [01500000-015130ca][01514000-0151e000]
     entry at 0000e388 via trampoline page code
     symbols at [0ea81000-0ea86000] (20kB), lines at [0ea73000-0ea81000] 
(56kB)
#07: loading "l4dope-ux"
     from [0e874000-0e9b2c6a] to [01b00000-01b374cc][01b38000-01b7e000]
     entry at 0000f364 via trampoline page code
     symbols at [0ea67000-0ea73000] (48kB), lines at [0ea41000-0ea67000] 
(152kB)
#08: loading "l4ovlwm"
     from [0e7c4000-0e873519] to [00b30000-00b49c34][00b4a000-00b78000]
     entry at 00010360 via trampoline page code
     symbols at [0ea3b000-0ea41000] (24kB), lines at [0ea27000-0ea3b000] 
(80kB)
#09: loading "vmlinuz26.ux mem=128M root=/dev/hda1 no-scroll"
     from [0da5d000-0e7c37fb] to [00400000-0061880c][00619000-006585ac]
[0065a000-0068c090][0068e000-00704000]
     entry at 00011388 via trampoline page code
     symbols at [0e98d000-0ea27000] (616kB), lines at [0e80a000-0e98d000] 
(1548kB)


ROOT: task 9.00 at 00407db0 is trying to get page 00000000 which is reserved

--double page fault---------------------------------ESP:001ac54c EIP:00137246
(4.00) jdb: ^

I realize it may not be best to run l4linux directly off /dev/hda1 that 
way ... but this is a dedicated test system.  I will be directly booting into 
drops on that machine, once I figure out how to configure grub to do it :-)

-- 
Thanks,
MikeE