microkit icon indicating copy to clipboard operation
microkit copied to clipboard

Published 20 hours ago • verified publisher icon seL4

[DO NOT MERGE] added nix flake

Open isubasinghe opened this issue 1 year ago • 5 comments

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

isubasinghe avatar Jun 13 '24 04:06 isubasinghe

@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.

wucke13 avatar Jun 14 '24 13:06 wucke13

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

isubasinghe avatar Jun 17 '24 01:06 isubasinghe

@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?

wucke13 avatar Jun 18 '24 15:06 wucke13

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

I could not find how to get started with https://github.com/DLR-FT/seL4-nix-utils and we need something simple/quick for the Microkit CI so I think I might merge this since it's mostly ready. It's only ~100 lines so I think it's fine to have here on it's own. For building more than just a specific project like the Microkit it seems better to use your approach but this is mainly for CI purposes.

Ivan-Velickovic avatar Jul 08 '24 05:07 Ivan-Velickovic

As you like. If I can be of any help, i.e. explaining the stuff from our repo, please let me know.

Edit:

I could not find how to get started with https://github.com/DLR-FT/seL4-nix-utils

Maybe a short note on that: nix flake show will provide all outputs. Of importance for you is the nix build .#microkit-sdk which would build the sdk and symlink the result to a result symlink in your PWD, or nix develop .#microkit-sdk to get a full development environment including the SDK, cross compiler, bintools and QEMU. For this development environment the MICROKIT_SDK env var is already set to the absolute path where the SDK is located. The microkit-sdk development environment available from nix develop is however based of the binary release of the microkit-sdk from the tutorial for historical reasons. It will eventually be upgrade to the source-built microkit package.

wucke13 avatar Jul 08 '24 06:07 wucke13

Thanks @isubasinghe for starting this, I've made https://github.com/seL4/microkit/pull/233 to finish it off.

Ivan-Velickovic avatar Oct 25 '24 02:10 Ivan-Velickovic