Reduce usage of `AddressSpace::ZERO` #12

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

xdoardo merged 1 commit into CHERIoT-Platform:beta from xdoardo:replace-address-space-zero

Sep 2, 2025

Merged

Reduce usage of `AddressSpace::ZERO` #12

cheri: reduce usage of `AddressSpace::ZERO`

Cirrus CI / (PR) Run ./x check succeeded Aug 28, 2025 in 28m 42s

Task Summary

Task successfully finished!

Details

✅ 05:45 clone
✅ 00:40 dependencies
✅ 00:01 gen_bootstrap
✅ 00:01 setup_env
✅ 00:06 pull_master
✅ 00:47 tidy
✅ 17:49 check
✅ 03:17 ui_test

View more details on Cirrus CI