L4Linuxというのがある。 L4上で動くLinuxなんですけどね。 素のLinuxとの違いは、LinuxKernelが特権モードで動くかどうかです。 L4Linuxの中を確認して見たんですが、L4のタスクの一つとしてLinuxが動くだけで、デバイスドライバもL4Serverへの通信（ほとん…