{
  "cksum": "b42578af4c4eb8468e57beaabecc86541ac3a94eca1e92a611457b71f6034822",
  "crate_file": "sel4-sys-0.0.28.crate",
  "crate_url": "https://static.crates.io/crates/sel4-sys/sel4-sys-0.0.28.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bitflags",
      "optional": false,
      "req": "^0.7.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "rlibc",
      "optional": false,
      "req": "^1.0.0",
      "target": null
    }
  ],
  "features": {
    "CONFIG_ARM_HYPERVISOR_SUPPORT": [],
    "CONFIG_ARM_SMMU": [],
    "CONFIG_HARDWARE_DEBUG_API": [],
    "CONFIG_VTX": [],
    "SEL4_CONFIG_BENCHMARK": [],
    "SEL4_DANGEROUS_CODE_INJECTION": [],
    "unstable": []
  },
  "index_path": "se/l4/sel4-sys",
  "name": "sel4-sys",
  "pubtime": "2017-04-24T04:41:28Z",
  "vers": "0.0.28",
  "yanked": false
}