ISA simulation and development.

• Rust toolchain
• OCaml toolchain
• Z3
• GMP
• opam
• Dune
• sail opam package

### Usage

$ cd borealis && cargo r --bin borealis -- ../arm-v9.4-a_d43f3f4c.rkyv ../aarch64

Unikernel dynamic binary translator

 __ /\ \ __ \ \ \____ _ __ /\_\ __ __4___ \ \ __ \/\ __\/\ \ / _ \ _ \ \ \ \ \ \ \L\ \ \ \/ \ \ \/\ \L\ \ <'\ /_/_/_/ \ \____/\ \_\ \ \_\ \____ \ ((____!___/) \/___/ \/_/ \/_/\/___L\ \ \0\0\0\0\/ /\____/ ~~~~~~~~~~~~~~~~ \_/__/ 

Running

$ cd brig-cli && cargo r

in the brig-cli directory will build the kernel and plugins, place them inside a bootable UEFI image and guest tarfile, then start QEMU with that image.

Make sure you are in the brig-cli directory not brig when running cargo r.