machine -> kernel