{
  "cksum": "a85a1253b252ff6257bc13463bd90c6fac323e2fb3eca2ec10edaf9bdcd0d333",
  "crate_file": "sel4-sys-0.0.25.crate",
  "crate_url": "https://static.crates.io/crates/sel4-sys/sel4-sys-0.0.25.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-01-05T15:40:57Z",
  "vers": "0.0.25",
  "yanked": false
}