Para fazer isto, o programador teve de «criar um bootloader personalizado» e «modificar o kernel do sistema operativo».