Ah okay, I somehow thought that Nintendo had used microkernels on other devices too, not just the Switch. The Nintendo Switch is certainly not a constrained device.
I don’t think there’s much to be gained in speculation about proprietary operating systems running on newer hardware though.