The ValorOS operating system for ComputerCraft