I am far from an expert, but I remember from expensive 386 programming book I bought so long ago, that certain things would

cause an exception, like page not present, division by zero, opcode not found... and when that this arrive, a specific exception

handler is run for the specific exception. If during the execution of an exception handler, an exception happens, then the double-fault

exception is called.

If finally an exception happens during the execution of the double-fault exception, then the CPU itself decide the OS is so buggy,

that it have to handle the thing itself, by rebooting the CPU.

What I don't like about the fact that Genode would reboot is that it suggest to me Genode did not care about writing double-fault

handler, or wrote a buggy one, and seems to not have tested it.

What does Genode double-fault handler is supposed to do?

Sorry for the ... pedantic tone, in reality I really I does not know so much about programming, and appreciate very much the

Genode way of doing things in general.