Hi, 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.
Daniel