From dfac1907f004a3f16178a490fe195f3519305d52 Mon Sep 17 00:00:00 2001 From: Brooks Davis Date: Tue, 12 Mar 2024 22:01:56 +0000 Subject: [PATCH] riscv: add CHERI-PURECAP-QEMU-FETT kernel Fill a hole in the matrix so: cheribuild --cheribsd/build-fett-kernels \ --cheribsd/no-build-alternate-abi-kernels can be happy with PURECAP as the default. --- sys/riscv/conf/CHERI-PURECAP-QEMU-FETT | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 sys/riscv/conf/CHERI-PURECAP-QEMU-FETT diff --git a/sys/riscv/conf/CHERI-PURECAP-QEMU-FETT b/sys/riscv/conf/CHERI-PURECAP-QEMU-FETT new file mode 100644 index 000000000000..412a470fb908 --- /dev/null +++ b/sys/riscv/conf/CHERI-PURECAP-QEMU-FETT @@ -0,0 +1,7 @@ +#NO_UNIVERSE + +include "CHERI-QEMU" +include "std.CHERI-PURECAP" +makeoptions NO_MODULES=yes + +ident CHERI-PURECAP-QEMU-FETT