> Nintendo actual devices use microkernel based designs

That's very interesting, can you provide a source?