Which of the following provides the virtual hardware environment for the guest OS on a Linux system?