From 87f4e0366bf7268c46cb93b5cad7e92d695decfe Mon Sep 17 00:00:00 2001 From: jgrivera67 Date: Wed, 3 Jan 2024 06:42:09 -0500 Subject: [PATCH] hirtos 1.0.0 and hirtos_separation_kernel 1.0.0 (#943) 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 00000000..a0fe4feb --- /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 00000000..289582ef --- /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" +