Skip to content

Commit

Permalink
Bump CHERIoT RTOS version to get updated interrupt definitions
Browse files Browse the repository at this point in the history
  • Loading branch information
GregAC committed Oct 15, 2024
1 parent 3d8064e commit c022e91
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
5 changes: 3 additions & 2 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -174,9 +174,9 @@
cheriotRtosSource = pkgs.fetchFromGitHub {
owner = "lowRISC";
repo = "CHERIoT-RTOS";
rev = "54e4f827c321013afe4013fe046b756854803ef8";
rev = "043721196e8ad7260a10799b2fb5df1d2b534a80";
fetchSubmodules = true;
hash = "sha256-fCrQBUyAtaS9AZ3hBoCj/e335ztlBXfX/g367iLCyYM=";
hash = "sha256-lWoQVaF1CVS6KAyTqWaY7H+505qJ2vzlZB4TlMZbuPo=";
};

sonata-system-software = pkgs.stdenv.mkDerivation rec {
Expand Down Expand Up @@ -245,6 +245,7 @@
checkPhase = ''
python ${./util/test_runner.py} -t 60 sim \
--elf-file ${sonata-system-software}/bin/test_runner
echo "Test runner complete!"
python ${./util/test_runner.py} -t 600 sim \
--sim-boot-stub ${sonata-sim-boot-stub.out}/share/sim_boot_stub \
--elf-file ${cheriot-rtos-test-suite}/share/test-suite
Expand Down
2 changes: 1 addition & 1 deletion sw/cheri/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ include(FetchContent)

FetchContent_Declare(CHERIOT_RTOS
GIT_REPOSITORY https://github.com/lowRISC/CHERIoT-RTOS
GIT_TAG 54e4f827c321013afe4013fe046b756854803ef8
GIT_TAG 043721196e8ad7260a10799b2fb5df1d2b534a80
)

if(NOT DEFINED CMAKE_TOOLCHAIN_FILE)
Expand Down

0 comments on commit c022e91

Please sign in to comment.