search

CTSRD-CHERI / cheribsd-ports

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

devel/cmake-core: use a CheriABI package with the user mode #103

Open kwitaszczyk opened 1 year ago

kwitaszczyk commented 1 year ago

Our Poudriere infrastructure uses a hybrid ABI cmake because the user mode doesn't implement correctly concurrent tags. We should fix the tags emulation implementation for threading and use CheriABI cmake instead.