Hi Konrad,
l4-hackers is an international mailing list; the discussion language is English. If you need to discuss something in German, please contact fiasco-core@os.inf.tu-dresden.de.
Also, I guess I now have to set up a mailing list archive -- the issues you raised have popped up several times now.
Konrad Neitzel neitzel@neitzel.de writes:
main.cc:174: failed check 'space_index_t(i).set_chief(space_index(),space_index_t(config::boot_taskno))'
Please apply the patch at URL:ftp://ftp.inf.tu-dresden.de/pub/os/L4/fiasco/fiasco-l4-981012.patch-01.gz -- it should fix this bug. The problem was caused by an incomplete constructor which assumed statically-allocated storage would be zero-initialized.
[ other minor build problems many people have stumbled across ]
I'll address these in a small patch to be released next week.
Thanks for trying Fiasco!
Michael