a simple os kernel based on MIT 6.828