いまどきモノシリックカーネルですか‥‥‥。