{
  "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",
    "development_only": false,
    "latest_version": "2.0.0",
    "name": "hirtos",
    "selected_version": "2.0.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [],
        "development": false,
        "external": false,
        "manifest": {
          "actions": [
            {
              "command": [
                "alr",
                "build"
              ],
              "directory": "sample_apps/fvp_armv8r_aarch32_hello",
              "type": "test"
            },
            {
              "command": [
                "alr",
                "build"
              ],
              "directory": "sample_apps/esp32_c3_hello",
              "type": "test"
            }
          ],
          "authors": [
            "J. German Rivera"
          ],
          "configuration": {
            "variables": {
              "Platform": {
                "default": "arm_fvp",
                "type": "Enum",
                "values": [
                  "arm_fvp",
                  "esp32_c3"
                ]
              }
            }
          },
          "description": "High-Integrity RTOS",
          "licenses": "Apache-2.0",
          "maintainers": [
            "J. German Rivera <jgrivera67@gmail.com>"
          ],
          "maintainers-logins": [
            "jgrivera67"
          ],
          "name": "hirtos",
          "origin": {
            "commit": "66847740b093b19386959b0e7b65b0a09172a082",
            "url": "git+https://github.com/jgrivera67/HiRTOS.git"
          },
          "tags": [
            "rtos"
          ],
          "version": "2.0.0",
          "website": "https://github.com/jgrivera67/HiRTOS"
        },
        "path": "index/hi/hirtos/hirtos-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.2.1",
            "resolved": true,
            "version": "13.2.1"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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"
        },
        "path": "index/hi/hirtos/hirtos-1.0.0.toml",
        "version": "1.0.0"
      }
    ]
  },
  "schema_version": 4
}