Skip to content

Commit

Permalink
Added CHERIoT environment
Browse files Browse the repository at this point in the history
This can be used for building the CHERIoT RTOS
or the test software for the sonata-system.
  • Loading branch information
HU90m authored and nbdd0121 committed Mar 20, 2024
1 parent 0219772 commit 7f1cfdd
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -59,6 +59,16 @@
opentitan = pkgs.callPackage ./dev/opentitan.nix {
inherit (lowrisc_pkgs) ncurses5-fhs bazel_ot verilator_ot python_ot;
};
cheriot = pkgs.mkShell {
name = "cheriot";
packages =
(with lowrisc_pkgs; [llvm_cheriot xmake])
++ (with pkgs; [
gnumake
magic-enum
srecord
]);
};
};
formatter = pkgs.alejandra;
});
Expand Down

0 comments on commit 7f1cfdd

Please sign in to comment.