仮想アドレス空間の下位をカーネルが使うOSってどんなのがありますか？