Building the OS
Two Makefiles are currently provided depending on whether you’re building with the new toolchain or with GCC.
Building for different hardware targets is not yet streamlined, so will require small changes to the Makefile and a rebuild.
To run a simple emulated demo (from a Linux terminal), cd into the main source directory and type make -f Makefile.gcc qemu
(NOTE: You will need to install any missing tools e.g. using apt until the build succeeds the first time. This will be streamlined in future releases.)