keep writing the OS manual