I’m a bit late because of travel, but you still should see the latest BSD Now; the CHERI system is interesting and underappreciated.