search

CTSRD-CHERI / cheribsd-ports

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

devel/boehm-gc updated with Capable VMs bdwgc Morello port #151

Open jeremysinger opened 3 months ago

jeremysinger commented 3 months ago

We switched to using our CapableVMs fork of the Boehm-Demers-Weiser collector, which compiles and runs on Morello CheriBSD

jeremysinger commented 3 months ago

hi @kwitaszczyk Duncan suggested that you might prefer us to name this package boehm-gc-cheri since it is a specific fork of the original boehm-gc which runs ok in hybrid mode. Our code has not been upstreamed to the official bdwgc github repo.

kwitaszczyk commented 3 months ago

@jeremysinger Yes, we briefly discussed this yesterday. You can either duplicate code under a -cheri port but it would be preferable to create a port that reuses the upstream port with some modifications. You can have a look at devel/gdb and devel/gdb-cheri (https://github.com/CTSRD-CHERI/cheribsd-ports/pull/130) for suggestions how to do that. However, it might turn out that the upstream and -cheri ports differ significantly and then it wouldn't make sense to reuse the upstream port.

jeremysinger commented 3 months ago

hi @kwitaszczyk yes we will change the name to boehm-gc-cheri. I had a chat with @djichthys and we are quite far behind upstream bdwgc - we want to rebase but we don't have resource for this right now - hopefully a summer project :-)

kwitaszczyk commented 3 weeks ago

@jeremysinger Any update on this?