From b3b1c60ec8192794b74967fbb0a1265c7f046e6f Mon Sep 17 00:00:00 2001 From: jgrivera67 Date: Thu, 23 May 2024 13:37:16 -0400 Subject: [PATCH] hirtos_separation_kernel 2.0.0 (#1034) * hirtos_separation_kernel 2.0.0 (via `alr publish --submit`) * Addressed PR review comments Signed-off-by: J. German Rivera * Fixed post-build errors to pass CI checks Signed-off-by: J. German Rivera * Skip unsupported build steps when building on Windows Signed-off-by: J. German Rivera --------- Signed-off-by: J. German Rivera --- .../hirtos_separation_kernel-2.0.0.toml | 34 +++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 index/hi/hirtos_separation_kernel/hirtos_separation_kernel-2.0.0.toml diff --git a/index/hi/hirtos_separation_kernel/hirtos_separation_kernel-2.0.0.toml b/index/hi/hirtos_separation_kernel/hirtos_separation_kernel-2.0.0.toml new file mode 100644 index 000000000..da50731ef --- /dev/null +++ b/index/hi/hirtos_separation_kernel/hirtos_separation_kernel-2.0.0.toml @@ -0,0 +1,34 @@ +# +# Copyright (c) 2022-2024, German Rivera +# +# SPDX-License-Identifier: Apache-2.0 +# +# NOTE: This crate is not meant to be built with the native compiler. +# A dependency on a cross-compiler must be specified in the client +# crate. See example client crates in the sample_apps folder. +# +name = "hirtos_separation_kernel" +description = "High-Integrity RTOS Separation Kernel" +version = "2.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"] + +[configuration.variables] +Separation_Kernel_Debug_Tracing_On = {type = "Boolean", default = false} +Platform = {type = "Enum", values = ["arm_fvp"], default = "arm_fvp"} + +[[actions]] +type = "test" +command = ["alr", "build"] +directory = "../sample_apps/hello_partitions" + + +[origin] +commit = "ebcd8cb20115356aa0d99c97124e47a175e56e8e" +subdir = "./hirtos_separation_kernel/" +url = "git+https://github.com/jgrivera67/HiRTOS.git" +