L4 bootstrap console output issue
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