A very small kernel (example from osdev)