[yjftsjthsd-h]

Are you? I'm paddy pretty sure I can run a single Linux and point a single gdb at it[0] and debug it in a single memory space; I don't think you can do that with a microkernel.

[0] possibly resorting to UML, but still