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 -- Marcel Winandy http://www.prosec.rub.de/staff/winandy.html Applied Data Security Group, Ruhr-University Bochum, Germany