A ComputerCraft BIOS for servers