Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's absolutely possible, because the hardware doesn't care about your compilation model: you can mix normal pointers and capabilities as you wish. A challenge is that it's easy to go from capability -> pointer, but harder to go from pointer -> capability -- where do the extra capability bits come from? CHERI C provides a default ("inherit capability bits from the DDC") but I'm not sure that's what I would choose to do.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: