Patent ID: 8627069

Claim:
A computer system, comprising: a microkernel, a first and a second virtualized operating system, a plurality of peripheral drivers supported by the microkernel, and an access mediator associated with each peripheral driver and coupled to the first and second virtualized operating systems, said microkernel comprising a clock driver, a scheduler and an inter-process communication manager, and said access mediators forming a first virtual machine associated with the first virtualized operating system and a second virtual machine associated with the second virtualized operating system, each access mediator functioning to multiplex first and second virtualized operating system communication access to an associated one of the peripheral drivers and customized to intercept any communication between the peripheral driver and a multiplexed one of the first and second virtualized operating systems and to permit transmission of said intercepted communication if the intercepted communication is compliant with security rules of access specifically defined for the multiplexed one of the first and second virtualized operating systems.