build_for_sel4_rumprun.sh 108 Bytes
Newer Older
1 2 3 4
#!/usr/bin/env bash
export ZEBU_TARGET=x86_64-rumprun-netbsd
cd ././../rumprun-sel4/
bash clean_and_build.sh