L4 bootstrap console output issue

Daniel Waddington waddy16925 at ...9...
Wed Jun 19 17:35:39 CEST 2013

I recently changed to using the Fiasco.OC source from Genode.  I have
just noticed problems with the bootstrap not outputting to the console
on certain machines.  The h/w is checked as ok, and if we replace
bootstrap with r56 version from TU Dresden then everything is ok.

Are there some Genode-specific changes to bootstrap on r46?

P.S. I didn't notice the problem until I did a full rebuild so I'm not
sure when the issue crept in.


More information about the users mailing list