Introduce bsd-user-qemu and run-{shell,user}-riscv64-purecap targets.

Open kwitaszczyk opened this issue 4 years ago • 0 comments

The targets use QEMU code from the qemu-cheri-bsd-user branch.

Examples:

Build the BSD user mode:
```
./cheribuild.py bsd-user-qemu
```

Run a CheriABI CHERI-RISC-V command:

./cheribuild.py run-user-riscv64-purecap \
    --run-user/command  \
    '/zdata/cheri/output/rootfs-riscv64-purecap/bin/cheribsdtest-purecap-dynamic -a'

Run a CheriABI CHERI-RISC-V command with the root directory changed to a sysroot:

sudo ./cheribuild.py --allow-running-as-root run-user-riscv64-purecap \
    --run-user/chroot --run-user/command \
    'cheribsdtest-purecap-dynamic -a'

Run a CheriABI CHERI-RISC-V shell in a jail with the root directory changed to a sysroot and devfs(8) mounted:

sudo ./cheribuild.py --allow-running-as-root run-shell-riscv64-purecap \
    --run-shell/jail --run-shell/jail-extra-args mount.devfs

Dec 04 '21 17:12 kwitaszczyk