search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

Build a package with GENERIC-MORELLO-CAPREVOKE #84

Closed kwitaszczyk closed 9 months ago

kwitaszczyk commented 1 year ago

Currently, a user must find, fetch and extract the GENERIC-MORELLO-CAPREVOKE kernel from download.CheriBSD.org to use caprevoke. Instead, it would be better to provide a package with the kernel.

We could also consider making revocation-aware allocators depend on the kernel package, and provide a meta-package to install all allocators and the kernel (e.g., cheri-temporal-safety). Such meta-package would be easier to find for users as they might be more familiar with the "temporal safety" term rather than "Cornucopia" or "revocations".

kwitaszczyk commented 9 months ago

The next release will include the temporal safety integrated into CheriBSD.