Raspberry Pi 4 running with OpenBSD 6.9 and full-disk encryption on a USB3 memory stick