source

hirtos_separation_kernel

2.0.0

High-Integrity RTOS Separation Kernel

GitHub Community CIResults Version page Download JSON

2.0.0

Authors
J. German Rivera
Maintainers
J. German Rivera <jgrivera67@gmail.com>
Maintainer profiles
@jgrivera67
Licenses
Apache-2.0
Website
https://github.com/jgrivera67/HiRTOS
Repository
github.com/jgrivera67/HiRTOS
Source revision
ebcd8cb20115
Source directory
./hirtos_separation_kernel/
Tags
hypervisor
Manifest
index/hi/hirtos_separation_kernel/hirtos_separation_kernel-2.0.0.toml
Build and platform metadata 2 fields
Configuration
{
  "variables": {
    "Platform": {
      "default": "arm_fvp",
      "type": "Enum",
      "values": [
        "arm_fvp"
      ]
    },
    "Separation_Kernel_Debug_Tracing_On": {
      "default": false,
      "type": "Boolean"
    }
  }
}
Actions
[
  {
    "command": [
      "alr",
      "build"
    ],
    "directory": "../sample_apps/hello_partitions",
    "type": "test"
  }
]