theseus-os / Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
https://www.theseus-os.com/
MIT License
2.92k stars 172 forks source link

Improve build experience for aarch64, and on mac OS #1032

Closed kevinaboos closed 1 year ago

kevinaboos commented 1 year ago
kevinaboos commented 1 year ago

@tsoutsman can you confirm these changes work on your mac too, for both aarch64 and x86_64?

@NathanRoyer can you double check the aarch64 changes still work on your machine?