From face2dcfb85580bc3e59085bb2217827a18fd643 Mon Sep 17 00:00:00 2001 From: "J. German Rivera" Date: Tue, 19 Dec 2023 01:03:40 -0500 Subject: [PATCH] hirtos 1.0.0 and hirtos_separation_kernel 1.0.0 Signed-off-by: J. German Rivera --- index/hi/hirtos/hirtos-1.0.0.toml | 25 +++++++++++++++++++ .../hirtos_separation_kernel-1.0.0.toml | 24 ++++++++++++++++++ 2 files changed, 49 insertions(+) create mode 100644 index/hi/hirtos/hirtos-1.0.0.toml create mode 100644 index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml diff --git a/index/hi/hirtos/hirtos-1.0.0.toml b/index/hi/hirtos/hirtos-1.0.0.toml new file mode 100644 index 000000000..a0fe4feb6 --- /dev/null +++ b/index/hi/hirtos/hirtos-1.0.0.toml @@ -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 "] +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" + diff --git a/index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml b/index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml new file mode 100644 index 000000000..289582efb --- /dev/null +++ b/index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml @@ -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 "] +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" +