{
  "cksum": "d291e763cae6f7fc3ed334966b7982007032c8abc7b8ab82d73d7fd08df32b89",
  "crate_file": "sel4-sys-0.0.26.crate",
  "crate_url": "https://static.crates.io/crates/sel4-sys/sel4-sys-0.0.26.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-07T00:28:32Z",
  "vers": "0.0.26",
  "yanked": false
}