Assertion failed in Fiasco-UX

Udo A. Steinberg us15 at
Fri Oct 6 16:56:24 CEST 2006

On Fri, 6 Oct 2006 15:31:48 +0200 Marcel Winandy (MW) wrote:

MW> When I try to start fiasco-ux on my Linux system, it stops with the
MW> following message:
MW> ASSERTION_FAILED (((((*(int *) &(status))) & 0xff) == 0x7f) && ((((*(int *) 
MW> &(status))) & 0xff00) >> 8) == 10)
MW>   in function static unsigned int Hostproc::create(unsigned int)
MW>   in file /DROPS/l4/kernel/fiasco-ux/src/kern/ux/hostproc.cpp:120
MW> If I run the same binaries on different machines there is no problem and 
MW> fiasco-ux starts as expected.
MW> The only difference between my machine and the others seems to be a
MW> different hosting Linux kernel. Are there any Linux-specific problems
MW> known? I am not sure, but this seems to be a bug in fiasco-ux.

Fiasco-UX expects a 1G/3G virtual address-space split. Check that
CONFIG_PAGE_OFFSET=0xC0000000 in your host kernel .config

		- Udo
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <>

More information about the l4-hackers mailing list