Bash on WindowsのWindows Subsystem for Linux(WSL)は要するにLinuxなので普通にrumpkernelが動いた。まる。 rumpkernelはNetBSDのデバイスドライバやプロトコルスタック類を動作させるためのAPI( http://netbsd.gw.com/cgi-bin/man-cgi?rumpuser )を切ったもので、User Mode Linux的にプロセスとしてドライバやカーネルを動かすもの(rumpserver http://netbsd.gw.com/cgi-bin/man-cgi?rump_server )だけでなく、いわゆるUnikernelとしてベアメタルや仮想環境で動作させるためのrumprun( https://github.com/rumpkernel/rumprun )等が有る。...別にそれNetBSDで良い