@wxcafe Haven't considered microkernels - that'll be interesting~

Sadly I am fairly confident the PS4 is monolithic. Not sure about the XBox.