4.4BSDの設計と実装

[0026 名無しさん＠お腹いっぱい。 NG NG]

そういう小さいとマイクロカーネルとは違います。