A simple hobby kernel that doesn't do much