Robert N. M. Watson
Robert N. M. Watson
In a local extension to FreeBSD, we are adding per-object UUIDs for many kernel object types (e.g., to files) allowing them to be more reliably identified and their associated operations...
Test to trigger #1045 without the more complex IPC context that the original test required for other purposes.
A small set of tests attempting to validate that tagged capabilities have their tags stripped when transiting pipe IPC, local domain sockets, and loopback TCP sockets. Two message sizes are...
During installation of ports.txz, which is rife full of directories and files, I experienced the attached failure, in which ada0 detached following a timeout. This leads to an eventual panic...
There are a number of steps we could potentially take to reduce the degree of user interaction required to install CheriBSD, including: - Default to xterm (and perhaps don't prompt...
With a relatively new community of CheriBSD users forming, who are generally expected to be inexperienced with FreeBSD, we need to make it extremely clear when performance-harmful debug options are...
In order to better test QEMU userlevel support for CheriABI, it would be useful to have a set of tests around tag stripping -- both simply in userlevel code, but...
Currently, bit-manipulation CHERI builtins are documented, but most others aren’t. Possibly this should be in an appendix.
Currently, we describe some practical implementation implications for allocators -- e.g., relating to bounds alignment -- but ideally we'd actually have a higher-level section talking in rather more detail about...
It would probably be useful to say something practical about the behaviour of multiple translation units -- e.g., global space allocation, type confusion, etc.