CHERI ISA support for Qemu.
These notes are based on using a Mac OS X for the host system. Most of this should apply to a FreeBSD or Linux host as well.
- Install the Xcode toolchain and homebrew. Install the following dependencies, if you haven't already:
$ brew install pkg-config
$ brew install libtool
$ brew install glib
$ brew link glib
- Clone the qemu-cheri repository (which should default to the 'qemu-cheri' branch):
$ git clone http://github.com/CTSRD-CHERI/qemu
- Configure qemu. This only configures the 'qemu-system-cheri' target and assumes that it will be installed in '/usr/local'.
$ cd qemu
$ ./configure --target-list=cheri-softmmu --prefix=/usr/local --disable-linux-user --disable-linux-aio --disable-kvm --disable-xen --extra-cflags=-g
- Make and install:
$ make
$ make install