Robert N. M. Watson

The guide should explain how subobject bounds interact with unions: What happens when you take pointers to the various members, and/or if you try to cast back?

The argument-bearing version of ```__attribute__((cheri_subobject_bounds_use_remaining_size()))``` doesn't appear to be documented in the CHERI C/C++ programming guide.

The CHERI C Programming Guide should more clearly document what minimum expectations exist for bounds and permissions on allocations arising from C-language definitions -- e.g., globals, locals / dynamic stack...

I believe that `cheribsdtest` does not currently check that nested signal delivery (and return) is happy, and really should.

Currently we don’t appear to have a test case for direct return from a signal handler via `sigreturn(2)` in `cheribsdtest`. This gap came up in a discussion about library compartmentalisation...

While not something to sort out for the 23.11 release, mention of the ‘Live CD’ in the installer has been rather overcome by events. Not quite sure what it should...

WITNESS warnings for drm(4) with Panfrost

2

With suitable DTB bits, Panfrost and DRM appear to attach, but with some early boot warnings about allocator flags (hybrid kernel compilation -- default GENERIC in the 11 November 2022snapshot):...

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

2

There are known nits including with compiler warning formatting and equations. Not yet a merge candidate.

Probably 'main' here should be 'freebsd/main'?

2

Note that in my local setup, I also had to remove 'freebsd/' before 'master', but that is because I cloned the FreeBSD GitHub repo as a starting point.

panic: Assertion vmap != NULL failed at /usr/src/sys/dev/drm/freebsd/drm_os_freebsd.c:370

4

Running with a kernel/userlevel from #2080, I saw this kernel panic when starting an aarch64 Chromium web browser within an otherwise entirely purecap (kernel, userlevel, desktop) environment: ```panic: Assertion vmap...