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

Use Nix for building the project #1098

Open Archisman-Mridha opened 6 months ago

Archisman-Mridha commented 6 months ago

I'm currently building the project on my Mac by running sh ./scripts/mac_os_build_setup.sh. It's installing a bunch of tools using Homebrew.

It'll be really useful - if you guys keep an option - to build the project using Nix.

If agreed, then let me know. I can do a little contribution :).

kevinaboos commented 6 months ago

Sounds good! I have no experience with Nix but I'd always love to support more host build systems.

Would definitely appreciate your contribution!