Updated to latest version of lowRISC RTOS fork

HU90m · marnovandermaas · commit 2417533de7e3 · 2024-11-07T11:28:07.000Z
diff --git a/nix/software.nix b/nix/software.nix
@@ -11,9 +11,9 @@
   cheriotRtosSource = pkgs.fetchFromGitHub {
     owner = "lowRISC";
     repo = "CHERIoT-RTOS";
-    rev = "8fbbda7b0ee528764892e1add9b539f9ec9064b0";
+    rev = "89fc2a3cb8e9fcaed84ac835ad32a89309523e35";
     fetchSubmodules = true;
-    hash = "sha256-uIZoEKmsyVzYldDv37p/zh1vtnQzKmw+wg+yctpyqa8=";
+    hash = "sha256-ri1VvryCNGWFatTIuEHqtx91taJ4CiW+5BcQcxPPeWM=";
   };
 
   reisfmtSource = pkgs.fetchFromGitHub {
diff --git a/sw/cheri/CMakeLists.txt b/sw/cheri/CMakeLists.txt
@@ -7,7 +7,7 @@ include(FetchContent)
 
 FetchContent_Declare(CHERIOT_RTOS
   GIT_REPOSITORY    https://github.com/lowRISC/CHERIoT-RTOS
-  GIT_TAG           8fbbda7b0ee528764892e1add9b539f9ec9064b0
+  GIT_TAG           89fc2a3cb8e9fcaed84ac835ad32a89309523e35
 )
 
 if(NOT DEFINED CMAKE_TOOLCHAIN_FILE)

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ include(FetchContent)`
`7`	`7`
`8`	`8`	`FetchContent_Declare(CHERIOT_RTOS`
`9`	`9`	`GIT_REPOSITORY https://github.com/lowRISC/CHERIoT-RTOS`
`10`		`- GIT_TAG 8fbbda7b0ee528764892e1add9b539f9ec9064b0`
	`10`	`+ GIT_TAG 89fc2a3cb8e9fcaed84ac835ad32a89309523e35`
`11`	`11`	`)`
`12`	`12`
`13`	`13`	`if(NOT DEFINED CMAKE_TOOLCHAIN_FILE)`