いっぱいあるらしいけど、何がいいのかな。
俺はnetbsdのカーネルが一番よかった。