Some netbooks, notebooks and desktop PCs are shipped with compact operating systems designed to boot particularly quickly. Among those offering such systems are BIOS and firmware specialist Phoenix Technologies. Its HyperSpace system is said to stand out because reportedly it can use the virtualisation functions of various Intel processors to run simultaneously with the main operating system and not just as an alternative. However, Phoenix has now sold its HyperSpace division to PC market leader HP for $12 million.