[Ukfreebsd] Beri dmesg

Sevan / Venture37 venture37 at gmail.com
Sat Jun 20 22:16:40 BST 2015

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 :)


More information about the Ukfreebsd mailing list