Fehler beim Booten von Fiasco

Michael Hohmuth hohmuth at innocent.com
Fri Oct 23 22:12:59 CEST 1998

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 at 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 at 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
-- it should fix this bug.  The problem was caused by an incomplete
constructor which assumed statically-allocated storage would be

> [ 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!

hohmuth at innocent.com, hohmuth at sax.de

More information about the l4-hackers mailing list