search

CTSRD-CHERI / cheribsd-ports

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

GDB support for compartmentalization (restricted mode and custom unwinder) #174

Open gvnn3 opened 1 month ago

bsdjhb commented 1 month ago

This is a GDB issue, but is already merged to the cheri-14 branch. The port just needs to be updated with a new hash, and the gdb-cheri-c18n port can be removed.