{
  "authors": [
    "J. German Rivera"
  ],
  "configuration": {
    "variables": {
      "Separation_Kernel_Debug_Tracing_On": {
        "default": false,
        "type": "Boolean"
      }
    }
  },
  "depends-on": [
    {
      "gnat_arm_elf": "^13.2.1",
      "gnatprove": "^13.2.1"
    }
  ],
  "description": "High-Integrity RTOS",
  "licenses": "Apache-2.0",
  "maintainers": [
    "J. German Rivera <jgrivera67@gmail.com>"
  ],
  "maintainers-logins": [
    "jgrivera67"
  ],
  "name": "hirtos",
  "origin": {
    "commit": "e7372ec1e07fcafeb28af66e9a62e890dce8b9d1",
    "url": "git+https://github.com/jgrivera67/HiRTOS.git"
  },
  "tags": [
    "rtos"
  ],
  "version": "1.0.0",
  "website": "https://github.com/jgrivera67/HiRTOS"
}