Home
last modified time | relevance | path

Searched full:cheri (Results 1 – 10 of 10) sorted by relevance

/freebsd/usr.bin/mkimg/tests/
H A DMakefile20 # The effect is even more pronounced on CHERI-RISCV QEMU (emulating CHERI inside
23 # were spent running jot -b. It's even worse on CHERI-MIPS QEMU: 187 seconds
/freebsd/sys/contrib/device-tree/Bindings/arm/
H A Darm,morello.yaml16 (CHERI) ISA.
/freebsd/share/man/man7/
H A Darch.765 On CHERI systems,
409 With the arrival of CHERI architectures, this is no longer the case.
417 Compilers for CHERI targets do not define
/freebsd/sys/compat/linux/
H A Dlinux_elf32.c9 * Laboratory as part of the CHERI for Hypervisors and Operating Systems
H A Dlinux_elf64.c9 * Laboratory as part of the CHERI for Hypervisors and Operating Systems
H A Dlinux_elf.c13 * Laboratory as part of the CHERI for Hypervisors and Operating Systems
/freebsd/lib/libc/string/
H A DMakefile.inc36 # Note: While this is fine on x86, it does break when running with CHERI.
/freebsd/share/doc/papers/
H A Dbsdreferences.bib332 title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
348 title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
/freebsd/sys/sys/
H A D_types.h166 * On non-CHERI systems, define __(u)intcap_t to __(u)intptr_t so that
/freebsd/sys/arm64/intel/
H A Dstratix10-soc-fpga-mgr.c37 * dd if=cheri.core.rbf of=/dev/fpga_partial0 bs=512k