[DO NOT MERGE] added nix flake

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Other

68 stars 37 forks source link

[DO NOT MERGE] added nix flake #136

Open isubasinghe opened 2 weeks ago

isubasinghe commented 2 weeks ago

Waiting on adding support for macOS in the nixified compiler here: https://github.com/isubasinghe/arm-gcc-binutils

wucke13 commented 2 weeks ago

@isubasinghe Please take a look on https://github.com/DLR-FT/seL4-nix-utils. I think I did (almost?) all the work you intend to do here.

isubasinghe commented 2 weeks ago

Thanks for letting me know @wucke13, in that case I will create some PRs there for anything missing there.

wucke13 commented 1 week ago

@isubasinghe Great, I'm looking forward to your contributions :smile:. I might suggest you close this PR then, if I understand correctly it will not be pursued further in the near future?