Oh well, I am like a returning Genode user, for almost ... one and an half year I guess.

I am glad to see that there is now an image (a USB one... I would guess it would not work on a DVD?).

I have downloaded it yesterday, and tried it on 3 computers (2 almost the same: Dell Optiplex 745, not sure the other is a 745 too).

One of the two is my own computer, and I have try many BIOS config, but it does always do the same:

show the Logo, screen become black for about 7 secs... then it reboots and loop.

On a laptop I own but keep at my friend location, it would show the logo, screen would become black, and it would hang there.

I think I remembered that debug messages was sent on serial port, but sadly, I have dump my serial null-modem, thinking that it was outdated.

I don't think the Dell Optiplex support AMT? ... that technology that is supposed to keep a log in memory that would have been sent to serial port.

I was thinking about the fact, that one should expect things not to work rather than to work.

Was thinking about what I would probably design.

I was thinking that an hard disk partition could be used as a log partition.

I was thinking about giving step numbers while booting.

Was thinking how screen is small, not so many lines, and that writing only error or warning messages, avoiding went good messages is a good default.

Was thinking about boot options:

-Show only warning and error messages

-Show text description of all steps, one by line + one line by error messages

-Show all steps numbers done, just separated by a space, giving only error messages

-Write log to disk partition (USB drivers is hard to get right on real hardware, from my experience with ReactOS), with warning and errors only

-Write log to disk partition with all messages, even info messages

Sure, the step where you go from text mode to graphic mode, is a bit tricky... guess in "debug mode", I would do like when changing screen resolutions:

change resolution

Show "Are you happy with this screen?"

Wait 5 secs

If not yes, return to text mode, and ... go to a terminal.

But of course, I am more thinking than doing.