add more README content
@@ -157,9 +157,20 @@ Sometimes RLS just doesn't want to behave, especially if the latest Rust nightly
You can see other installed toolchains with `rustup toolchain list`.
-# Other stuff
+# Other
-[How to set up PXE to boot Theseus over the network](book/src/pxe.md)
+## Booting on Real Hardware
+We have tested Theseus on a variety of real machines, including Intel NUC devices, various Thinkpad laptops, and Supermicro servers.
+Currently, the only limiting factor is that the device support booting via USB or PXE using traditional BIOS rather than UEFI; support for UEFI is a work-in-progress.
+
+To boot over USB, simply run `make boot usb=sdc`, in which `sdc` is the device node for the USB disk itself (*not a partition like sdc2*) to which you want to write the OS image.
+On WSL or other host environments where `/dev` device nodes don't exist, you can simply run `make iso` and burn the `.iso` file in the `build/` directory to a USB, e.g., using [Rufus](https://rufus.ie/) on Windows.
+
+To boot Theseus over PXE (network boot), see [this set of separate instructions](book/src/pxe.md).
+
+
+## Acknowledgements
+We would like to express our thanks to the [OS Dev wiki](https://wiki.osdev.org/) and its community and to Philipp Oppermann's [blog_os](https://os.phil-opp.com/) for serving as excellent starting points for Theseus. The early days of Theseus's development progress are indebted to these resources.
# License
