Published December 10, 2022 | Version 1
Software Open

Rust for Morello: Always-on Memory Safety, Even in Unsafe Code

Authors/Creators

  • 1. University of Kent

Description

This artefact is a virtual machine setup with a build of our Rust compiler targetting purecap Morello, and built copy of the QEMU Morello emulator running CHERIBSD.

Username: ecoop23

Password: ecoop23

 

Files

Files (26.7 GB)

Name Size Download all
md5:63d00eabccc654f2f75e05f1cc49c374
26.7 GB Download

Additional details

Funding

UK Research and Innovation
Transparent pointer safety: Rust to Lua to OS Components EP/X021173/1