Closed kwitaszczyk closed 1 year ago
With https://github.com/CTSRD-CHERI/cheribsd-ports/issues/34 and after fixing https://github.com/CTSRD-CHERI/cheribsd-ports/issues/9, we should build an aarch64 package.
It's currently not needed.
With https://github.com/CTSRD-CHERI/cheribsd-ports/issues/34 and after fixing https://github.com/CTSRD-CHERI/cheribsd-ports/issues/9, we should build an aarch64 package.