jos.txt

MacOS (>=10.11) setup

clone

  git clone http://www.cs.technion.ac.il/~cs236376/jos.git
  cd jos

install pre-built 32bit (i586) gcc binaries from here

  http://crossgcc.rts-software.org/doku.php?id=compiling_for_linux

edit `conf/env.mk` and make sure these two lines appear uncommented

  GCCPREFIX=i586-pc-linux-
  V =

then adjust the path for your current session:

  PATH="/usr/local/gcc-4.8.1-for-linux32/bin:$PATH"

(or prefix every call to make with the above)

then run `make` and `make qemu`