Building

##On Debian/Ubuntu:

1. Before you start, install libgmp-dev, libmpfr-dev, libmpc-dev, libncurses-dev and texinfo so you can build the toolchain. You may also need to install bison and flex for building XINU itself.

2. Then use the Makefile from here: https://github.com/caltry/cross-tools

3. Running make should download and install everything for you in $PWD/local-prefix. Add local-prefix/bin to your path and you should be able to build XINU.

Note: be sure to change Xinu's PLATFORM variable in compile/Makefile to either arm-qemu if you wish to build for QEMU or raspberry-pi for the Raspberry Pi hardware.