David Chisnall

> Would you want to ratify 1-bit level as part of ChERIoT instead of making it mandatory for RV32Y? I would really like to have 1 bit since that has...

My understanding is that `gdb_object_getClass` is equivalent to `object_getClass` but doesn't acquire locks. Our implementation of this class never acquires locks, so we probably don't need it. I'm not sure...

We have a benchmark like that in one of the tests (conditionally compiled, off by default). It's a bit misleading because it's always hitting the same cache line and will...

I was quite surprised to see this open, Simon's FOSDEM talk from a decade ago discussed how SILE could use the dynamic programming approach from the TeX papers for figure...

Is there a design doc for this? A few things are not clear to me: - It looks as the unwinder runs on the stack of the faulting compartment (and...

All of the system call stubs in FreeBSD are machine generated from syscalls.master. If you want them as inline assembly, you can probably reuse the code. Note that the syscall...

In CHERIoT, we have a pending patch to the RTOS that does a mapping very like this for reporting to user code. Using the low bits would be a bit...

We also make mcycle and minstret readable (but not writeable) without ASR. I can imagine a later addition providing one or more CSRs to configure which CSRs (possibly from some...

It varies a bit. Our allocator uses it quite a bit on some hot paths. We also, in the CHERIoT cross-compartment calling convention, reserve 16 bytes of space at the...

This abort is at the end of the throw function. The unwind library is returning from the unwind function, which happens only if unwinding fails. For some reason, it looks...