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 committed Mar 20, 2024
1 parent 4413788 commit 0dba468
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 0dba468

Please sign in to comment.