An hobby OS for x86 and ARM desktop/laptops.