search

CTSRD-CHERI / cheribsd-ports

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

Merge FreeBSD ports for the next release #96

Closed kwitaszczyk closed 9 months ago

kwitaszczyk commented 9 months ago

The ports were merged up to August 4, 2023: https://github.com/CTSRD-CHERI/cheribsd-ports/commit/f5f57ea881745f34cad70c31db8b3b64cb429c57.