さて、Minixに乗り換えるか。