#!/usr/bin/env bash export ZEBU_TARGET=x86_64-rumprun-netbsd cd ././../rumprun-sel4/ bash clean_and_build.sh