Now we have prepared the build, so naturally we're going to build Redox.
$ make all
Give it a while. Redox is big.
To run Redox, do:
$ make qemu
This should open up a Qemu window, booting to Redox.
If it does not work, try:
$ make qemu kvm=no # we disable KVM
$ make qemu iommu=no
If this doesn't work either, you should go open an issue.
If you encounter any bugs, errors, obstructions, or other annoying things, please report the issue to the Redox repository. Thanks!