{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0"
  },
  "generated_at": "2026-08-23T04:55:42Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "High-Integrity RTOS Separation Kernel",
    "development_only": false,
    "latest_version": "2.0.0",
    "name": "hirtos_separation_kernel",
    "selected_version": "2.0.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "actions": [
            {
              "command": [
                "alr",
                "build"
              ],
              "directory": "../sample_apps/hello_partitions",
              "type": "test"
            }
          ],
          "authors": [
            "J. German Rivera"
          ],
          "configuration": {
            "variables": {
              "Platform": {
                "default": "arm_fvp",
                "type": "Enum",
                "values": [
                  "arm_fvp"
                ]
              },
              "Separation_Kernel_Debug_Tracing_On": {
                "default": false,
                "type": "Boolean"
              }
            }
          },
          "description": "High-Integrity RTOS Separation Kernel",
          "licenses": "Apache-2.0",
          "maintainers": [
            "J. German Rivera <jgrivera67@gmail.com>"
          ],
          "maintainers-logins": [
            "jgrivera67"
          ],
          "name": "hirtos_separation_kernel",
          "origin": {
            "commit": "ebcd8cb20115356aa0d99c97124e47a175e56e8e",
            "subdir": "./hirtos_separation_kernel/",
            "url": "git+https://github.com/jgrivera67/HiRTOS.git"
          },
          "tags": [
            "hypervisor"
          ],
          "version": "2.0.0",
          "website": "https://github.com/jgrivera67/HiRTOS"
        },
        "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-2.0.0.toml",
        "version": "2.0.0"
      },
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "gnat_arm_elf",
            "package": "gnat_arm_elf",
            "provided_version": "13.2.1",
            "requirement": "^13.2.1",
            "resolved": true,
            "version": "13.2.1"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "gnatprove",
            "package": "gnatprove",
            "provided_version": "13.2.1",
            "requirement": "^13.1.1",
            "resolved": true,
            "version": "13.2.1"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "authors": [
            "J. German Rivera"
          ],
          "depends-on": [
            {
              "gnat_arm_elf": "^13.2.1",
              "gnatprove": "^13.1.1"
            }
          ],
          "description": "High-Integrity RTOS Separation Kernel",
          "licenses": "Apache-2.0",
          "maintainers": [
            "J. German Rivera <jgrivera67@gmail.com>"
          ],
          "maintainers-logins": [
            "jgrivera67"
          ],
          "name": "hirtos_separation_kernel",
          "origin": {
            "commit": "e7372ec1e07fcafeb28af66e9a62e890dce8b9d1",
            "subdir": "./hirtos_separation_kernel/",
            "url": "git+https://github.com/jgrivera67/HiRTOS.git"
          },
          "tags": [
            "hypervisor"
          ],
          "version": "1.0.0",
          "website": "https://github.com/jgrivera67/HiRTOS"
        },
        "path": "index/hi/hirtos_separation_kernel/hirtos_separation_kernel-1.0.0.toml",
        "version": "1.0.0"
      }
    ]
  },
  "schema_version": 4
}