My little protected-mode OS-kernel