Fehler beim Booten von Fiasco

[Michael Hohmuth]

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
<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
-- 
hohmuth at innocent.com, hohmuth at sax.de
http://www.sax.de/~hohmuth/