マイクロカーネル vs モノリシックカーネル
https://nozomi.2ch.sc/test/read.cgi/os/1065940450/
last-modified: 2021-05-31 00:45:39