Kernel (linear memory, paging, hardware interrupt, event control, port control) services provided to virtual device drivers.