hirtos 1.0.0 and hirtos_separation_kernel 1.0.0 (#943)

Signed-off-by: J. German Rivera <jgrivera67@gmail.com>
2024-01-03 06:42:09 -05:00
parent 5d18acdbed
commit 87f4e0366b
2 changed files with 49 additions and 0 deletions
@@ -0,0 +1,25 @@
+#
+# NOTE: Before building for the first time with `alr build`, select the
+# corresponding cross compiler toolchain by running `alr toolchain --select`
+#
+name = "hirtos"
+description = "High-Integrity RTOS"
+version = "1.0.0"
+licenses = "Apache-2.0"
+website = "https://github.com/jgrivera67/HiRTOS"
+tags = ["rtos"]
+authors = ["J. German Rivera"]
+maintainers = ["J. German Rivera <jgrivera67@gmail.com>"]
+maintainers-logins = ["jgrivera67"]
+
+[[depends-on]]
+gnat_arm_elf = "^13.2.1"
+gnatprove = "^13.2.1"
+
+[configuration.variables]
+Separation_Kernel_Debug_Tracing_On = {type = "Boolean", default = false}
+
+[origin]
+commit = "e7372ec1e07fcafeb28af66e9a62e890dce8b9d1"
+url = "git+https://github.com/jgrivera67/HiRTOS.git"
+
@@ -0,0 +1,24 @@
+#
+# NOTE: Before building for the first time with `alr build`, select the
+# corresponding cross compiler toolchain by running `alr toolchain --select`
+#
+name = "hirtos_separation_kernel"
+description = "High-Integrity RTOS Separation Kernel"
+version = "1.0.0"
+licenses = "Apache-2.0"
+website = "https://github.com/jgrivera67/HiRTOS"
+tags = ["hypervisor"]
+authors = ["J. German Rivera"]
+maintainers = ["J. German Rivera <jgrivera67@gmail.com>"]
+maintainers-logins = ["jgrivera67"]
+
+[[depends-on]]
+gnat_arm_elf = "^13.2.1"
+gnatprove = "^13.1.1"
+
+
+[origin]
+commit = "e7372ec1e07fcafeb28af66e9a62e890dce8b9d1"
+subdir = "./hirtos_separation_kernel/"
+url = "git+https://github.com/jgrivera67/HiRTOS.git"
+