Hello!
When I try to start fiasco-ux on my Linux system, it stops with the following message:
ASSERTION_FAILED (((((*(int *) &(status))) & 0xff) == 0x7f) && ((((*(int *) &(status))) & 0xff00) >> 8) == 10) in function static unsigned int Hostproc::create(unsigned int) in file /DROPS/l4/kernel/fiasco-ux/src/kern/ux/hostproc.cpp:120
If I run the same binaries on different machines there is no problem and fiasco-ux starts as expected.
The only difference between my machine and the others seems to be a different hosting Linux kernel. Are there any Linux-specific problems known? I am not sure, but this seems to be a bug in fiasco-ux.
Kind regards, Marcel
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> 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> MW> If I run the same binaries on different machines there is no problem and MW> fiasco-ux starts as expected. MW> 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
Cheers, - Udo
Am Freitag, 6. Oktober 2006 16:56 schrieb Udo A. Steinberg:
Fiasco-UX expects a 1G/3G virtual address-space split. Check that CONFIG_PAGE_OFFSET=0xC0000000 in your host kernel .config
OK, that's the difference. I have CONFIG_PAGE_OFFSET=0xB0000000
Thanks for the info!
Marcel
l4-hackers@os.inf.tu-dresden.de