Optimizing the guest operating system