>>712899795
Microkernel is a OS design choice. It's not them using a different kernel for each system which isn't what is happening, Switch 1 and 2 are obviously doing a lot of code sharing. Switch 2 will just include things more specific to its hardware like what it uses for mouse mode and remove things Switch 1 had it doesn't need like IR camera support. Microkernels make this easier to do.