Colin GordonFeb 20
It's here! #cheri #CheriBSD
Show thread~/phranck Feb 20
@csgordon @me_ A gigantic arm AI CPU?
Show threadMichael EngelFeb 20
@phranck @csgordon No AI, just CHERIs... Morellos to be precise. Still waiting for mine...
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 Engel
@mirabilos @phranck @csgordon Not as far as I know, they remain the property of ARM.
Feb 20 at 8:08pmWeb
Show threadmirabilosFeb 20
@me_ @csgordon @phranck 😾
Show threadColin GordonFeb 20
@mirabilos @me_ @phranck yeah, this is on loan to me for 2 years