Dear all,
I think I saw a new version of the board: not sure CHERI is included!

––
Mike Eftimakis – Founding director
CHERI Alliance
mike.eftimakis(a)cheri-alliance.org <mailto:mike.eftimakis@cheri-alliance.org>
Web: cheri-alliance.org <http://cheri-alliance.org/>
