Skip to content

Instantly share code, notes, and snippets.

@quackingduck

quackingduck/jos.txt

Last active October 10, 2016 17:36
Show Gist options
  • Save quackingduck/22caf82a5a75cc7d895d36498a2f1144 to your computer and use it in GitHub Desktop.
Save quackingduck/22caf82a5a75cc7d895d36498a2f1144 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
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`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment