Closed arichardson closed 1 year ago
The latest CheriBSD release is not ready for these changes and has test failures due to these semantic changes. This will be turned on again in the future but we have to disable it for now as it prevents merges from QEMU dev to qemu-cheri.
Test failure is a timeout - merging
The latest CheriBSD release is not ready for these changes and has test failures due to these semantic changes. This will be turned on again in the future but we have to disable it for now as it prevents merges from QEMU dev to qemu-cheri.