borg

Borealis

ISA simulation and development.

Build Requirements

• 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

brig

Unikernel dynamic binary translator

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

Usage

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.

Issues

Panic Abort Errors

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