Robert N. M. Watson

icon indicating a website link http://www.cl.cam.ac.uk/~rnw24/

icon company University of Cambridge icon location Cambridge, UK

Results 45 comments of Robert N. M. Watson

GUI

Tagging @arichardson who has been doing our X11/desktop-related work. In that work he's generally been using XVNC rather than running X11 on the console. Even with QEMU rather than the...

gmake needs 'bootstrap' to be run on checkout

I can confirm this on my macOS box, building that target with `-d` for dependencies: ``` Configuring gmake-morello-purecap (-morello-purecap) ... Cross configure environment: PKG_CONFIG_PATH=/Users/robert/cheri/output/rootfs-morello-purecap/usr/libdata/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/morello-purecap/lib/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/morello-purecap/share/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/morello-purecap/libdata/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/lib/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/share/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/libdata/pkgconfig PKG_CONFIG_LIBDIR=/Users/robert/cheri/output/rootfs-morello-purecap/usr/libdata/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/morello-purecap/lib/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/morello-purecap/share/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/morello-purecap/libdata/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/lib/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/share/pkgconfig:/Users/robert/cheri/output/rootfs-morello-purecap/usr/local/libdata/pkgconfig PKG_CONFIG_SYSROOT_DIR=/Users/robert/cheri/output/rootfs-morello-purecap CC=/Users/robert/cheri/output/morello-sdk/bin/clang -target aarch64-unknown-freebsd13 --sysroot=/Users/robert/cheri/output/rootfs-morello-purecap...

Morello hybrid CheriBSD Capability Aware GDB

Tagging @bsdjhb on general principle.

First cut at conversion from LaTeX to mdbook for the CHERI C/C++ guide.

Reviewer note: With the exception of the above-mentioned note about equation and compiler warning formatting, this is believed to be a fairly complete and very literal conversion from LaTeX to...

Forward compatibility of acperm

Musings rather than a structured recommendation: As an example of a permission we don’t currently have, but it’s easy to imagine adding, for fodder: Currently we specify a single ‘execute’...