Is CHERI a capability system?

[Ben Laurie]

Rather than mix this into the other thread about production systems I thought I'd start a new one.

CHERI is inspired by capability systems and we do call pointers in CHERI "capabilities" but whether CHERI is actually a capability system itself is debatable.

Certainly CHERI makes it very easy to build something that we would all agree (I think) definitely is a capability system. But that's not the same question, of course.

We should see actual silicon for CHERI (on RISC-V) this year, btw.

I am happy to answer questions about CHERI, btw. And I probably should note that I picked a bad moment to ask this question as I'm about to start travelling for a few weeks but I will pay some attention!

[Ben Laurie]

BTW, this bounced from cap-talk, dunno who runs that but I can share the error if they want...

[Mark S. Miller]

Please share the error with me

--
You received this message because you are subscribed to the Google Groups "friam" group.
To unsubscribe from this group and stop receiving emails from it, send an email to friam+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/friam/CABrd9ST_yT-SF1ecrwrO-1MOUc_JpRfW2WDQSpNkdAKc4cOhNQ%40mail.gmail.com.