What hardware does it run on? I looked through the documentation and cannot find what hardware it runs on and how to set it up. The Getting Started for real h

What hardware does it run on? I looked through the documentation and cannot find what hardware it runs on and how to set it up. The Getting Started for real hardware returns a 404 page: https://doc.redox-os.org/book/real_hardware.html https://doc.redox-os.org/book/real_hardware.html