The type of software essential for running virtual machines on a host system is called a hypervisor. A hypervisor is a software layer that allows multiple operating systems to run on a single physical machine, providing resource allocation and isolation between different virtual environments. There are two types of hypervisors: Type 1 (bare-metal) and Type 2 (hosted), each suited for different virtualization needs.