My little protected-mode OS kernel