If you mean the Switch, yes it is a microkernel, so fast enough to play all those flashy Vulkan/NVN games.

https://media.ccc.de/v/34c3-8941-console_security_-_switch