Doesn't work! page 44, cannot create kernel minp