On 20 June 2015 at 22:03, Robert N. M. Watson <rwatson at freebsd.org> wrote: > The below is not quite stock FreeBSD booting on BERI — it’s CHERI-extended FreeBSD (CheriBSD). However, close enough for this purpose? > > Robert Yes, thanks Robert :) http://dmesgd.nycbug.org/index.cgi?action=dmesgd&do=view&id=2744 Sevan