Robert N. M. Watson

Great, thanks. Is there a name we can add to CREDITS for you, if it's not already there?

There is no (known) reason why OpenBSM should not work across a range of architectures -- including across endiannesses, as unlike the original BSM, there is an explicit design choice...

This issue can now be clarified, as it is a work-in-progress, and perhaps subdivided into self-standing pieces of technical work. In general, our goal is to be able to run...

I’m not sure if you’ve looked at our 2015 paper on in-process compartmentalisation, but it touches on some of these topics -- and our implementation at the time had rather...

Could change/fix upstream. Maybe @zxombie takes a view on whether these changes might be desirable there?

Probably this issue wants to be a few separate issues -- one for baseline FreeBSD support, another for it working on QEMU/the FVP, and another for it working with the...

Further thought: - The Keymap Selection should identify the default keycap in parenthesis in the menu option for using it, rather than hiding that in descriptive text.

- If using DHCP, don't ask for further resolver configuration - Skip the System Configuration menu - Skip the System Hardening menu

> > * Don't ask for a hostname > > This seems like it's asking for trouble... True. We could default it to “cheribsd-morello” or something. > > * Shorten...

Another possible thing: - Don’t prompt for keyboard mapping selection on a serial console