Next Generation WASM Microkernel Operating System

organize nix flake #10

open opened by jonaskruckenberg.de targeting main from push-oysmwmtqmytm
Labels

None yet.

Participants 1
AT URI
at://did:plc:wur5mmsnhlocanyqtus3oex5/sh.tangled.repo.pull/3md5rrkbaou22
+12 -6
Diff #0
+12 -6
flake.nix
··· 27 27 rustToolchain 28 28 clang 29 29 30 + # version control 31 + jujutsu 32 + 30 33 # devtools 31 34 just 32 - mdbook 33 - socat 34 - wabt 35 - dtc 36 35 cargo-nextest 37 - cargo-fuzz 38 36 cargo-deny 39 37 typos 38 + dtc 39 + cargo-fuzz 40 + 41 + # for manual 42 + mdbook 43 + 44 + # wasm tooling 45 + wabt 40 46 wasm-tools 41 - jujutsu 42 47 43 48 # for testing the kernel 44 49 qemu 50 + socat 45 51 46 52 # To profile the code or benchmarks 47 53 samply

History

1 round 0 comments
sign up or login to add to the discussion
1 commit
expand
organize nix flake
3/3 success
expand
merge conflicts detected
expand
  • flake.nix:27
expand 0 comments