Colin GordonFeb 20
It's here! #cheri #CheriBSD
Show thread~/phranck 
@csgordon @me_ A gigantic arm AI CPU?
Feb 20 at 7:32pmWeb
Show threadMichael EngelFeb 20
@phranck @csgordon No AI, just CHERIs... Morellos to be precise. Still waiting for mine...
Show thread~/phranck Feb 20

@me_ @csgordon This one?

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html

Department of Computer Science and Technology ā€“ CHERI: The Arm Morello Board

Show threadMichael EngelFeb 20
@phranck @csgordon This is the Morello board, yes. ARM/CHERI got some of the boards back recently. Of course, I have no idea what's really in @csgordon's package...
Show threadColin GordonFeb 20
@me_ @phranck 'tis a Morello dev kit, recycled from someone else
Show threadmirabilosFeb 20

@me_ @phranck @csgordon is it possible to actually buy those?

(I know about the ability to request for porting work. Iā€™m not asking for myself here.)

Show threadMichael EngelFeb 20
@mirabilos @phranck @csgordon Not as far as I know, they remain the property of ARM.
Show threadmirabilosFeb 20
@me_ @csgordon @phranck šŸ˜¾
Show threadColin GordonFeb 20
@mirabilos @me_ @phranck yeah, this is on loan to me for 2 years