ミントはケンタッキーカーネルです。