{
  "bomFormat": "CycloneDX",
  "specVersion": "1.5",
  "version": 1,
  "metadata": {
    "tools": {
      "components": [
        {
          "type": "application",
          "name": "nowayos-image-sbom",
          "description": "nowayos/tools/image-sbom: CycloneDX from the Microkit build, cargo's unit graph, cargo metadata and Cargo.lock, Python standard library only"
        }
      ]
    },
    "component": {
      "type": "firmware",
      "bom-ref": "image:ui-interactive",
      "name": "ui-interactive",
      "description": "loader.img, the Microkit system image of ui-interactive for qemu_virt_aarch64, debug configuration",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "e7296ab088d7090551ed484bce1ff6a544164a4ce20189ce2c5b7c4e7cfbd33e"
        }
      ]
    },
    "properties": [
      {
        "name": "nowayos:image",
        "value": "loader.img"
      },
      {
        "name": "nowayos:image-sha256",
        "value": "e7296ab088d7090551ed484bce1ff6a544164a4ce20189ce2c5b7c4e7cfbd33e"
      },
      {
        "name": "nowayos:system",
        "value": "ui-interactive"
      },
      {
        "name": "nowayos:board",
        "value": "qemu_virt_aarch64"
      },
      {
        "name": "nowayos:configuration",
        "value": "debug"
      },
      {
        "name": "nowayos:sdk",
        "value": "Microkit 2.3.1: microkit-sdk-2.3.1-linux-aarch64.tar.gz, sha256 979553f288e8e2c099dae8fbec86cbe2cfda2ca006ee36de8234649d6d23bbee (pinned in tools/container/Containerfile)"
      },
      {
        "name": "nowayos:target",
        "value": "aarch64-sel4"
      },
      {
        "name": "nowayos:toolchain",
        "value": "nightly-2026-04-04"
      },
      {
        "name": "nowayos:scope-rule",
        "value": "required: what loader.img is made of - the Microkit SDK's kernel, loader, monitor and capDL initialiser, every program image and each crate compiled into it (cargo's unit graph for the PD build, the standard-library crates included), the system description and its prefill files, the glyph atlases' notice beside it; excluded: what built it but is not in it, with the reason in nowayos:excluded"
      }
    ]
  },
  "components": [
    {
      "type": "file",
      "bom-ref": "file:screen-1920x1064.bin",
      "name": "screen-1920x1064.bin",
      "description": "Configuration the Microkit tool prefills into a memory region (prefill_path)",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "a84f29b843802497421433b5334782196bd26e3f35ad74637203ef65a30f80d8"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "written by tools/board-system from its file name"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        }
      ]
    },
    {
      "type": "file",
      "bom-ref": "file:ui-interactive.system",
      "name": "ui-interactive.system",
      "description": "The system description loader.img was made from, as tools/board-system wrote it for qemu_virt_aarch64: every protection domain, memory region, channel and device it grants",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "ee1fe59db7ce4072d7284717b2489b94799bf86e12c50899ad356d84cabf7cf6"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "systems/ui-interactive.system, with the facts of platforms/qemu_virt_aarch64.toml"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "microkit-sdk:bin/microkit",
      "name": "microkit",
      "version": "2.3.1",
      "description": "The Microkit tool, which made loader.img from the system description, the program images and the parts above",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "0b59b8d74ba68467124482e0ad85a4b8b6f799990f3a2fcd7d241bdca2125418"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "externalReferences": [
        {
          "type": "distribution",
          "url": "https://github.com/seL4/microkit/releases/download/2.3.1/microkit-sdk-2.3.1-linux-aarch64.tar.gz",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "979553f288e8e2c099dae8fbec86cbe2cfda2ca006ee36de8234649d6d23bbee"
            }
          ]
        },
        {
          "type": "vcs",
          "url": "https://github.com/seL4/microkit"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "bin/microkit in the Microkit SDK 2.3.1 (microkit-sdk-2.3.1-linux-aarch64.tar.gz)"
        },
        {
          "name": "nowayos:licence-checked",
          "value": "Licensing Options, Microkit: checked for the pinned 2.3.1 on 2026-10-01"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: the Microkit tool, which made the image"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/initialiser.elf",
      "name": "microkit-capdl-initialiser",
      "version": "2.3.1",
      "description": "The capDL initialiser, the initial task: creates every kernel object and capability the system description grants, from the capDL specification the Microkit tool packs with it",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "5e258227c82c123fd9a411217833cba4e4869d82e4904bf8fef626e1b0389a92"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "externalReferences": [
        {
          "type": "distribution",
          "url": "https://github.com/seL4/microkit/releases/download/2.3.1/microkit-sdk-2.3.1-linux-aarch64.tar.gz",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "979553f288e8e2c099dae8fbec86cbe2cfda2ca006ee36de8234649d6d23bbee"
            }
          ]
        },
        {
          "type": "vcs",
          "url": "https://github.com/seL4/microkit"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "board/qemu_virt_aarch64/debug/elf/initialiser.elf in the Microkit SDK 2.3.1 (microkit-sdk-2.3.1-linux-aarch64.tar.gz)"
        },
        {
          "name": "nowayos:licence-checked",
          "value": "Microkit 2.3.1's initialiser crate and rust-sel4's sel4-capdl-initializer, which it wraps, are BSD-2-Clause (2026-10-04)"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        },
        {
          "name": "nowayos:composition",
          "value": "audited: the 41 crates compiled into it are listed inside it"
        },
        {
          "name": "nowayos:audit",
          "value": "tools/initialiser-audit.toml: 2026-10-04, for Microkit 2.3.1, built for aarch64-unknown-none"
        },
        {
          "name": "nowayos:audit-established",
          "value": "cargo's unit graph for build_sdk.py's initialiser build in Microkit 2.3.1's source at its tag, against its Cargo.lock; licences from each crate's manifest, rust-sel4's file by file; checked against each initialiser.elf's .comment section, panic locations and symbols, not rebuilt bit for bit; the linux-x86-64 archive's initialiser.elf files are byte for byte the linux-aarch64 archive's"
        },
        {
          "name": "nowayos:audit-advisories",
          "value": "None open: cargo-deny 0.20.2 (unmaintained, unsound and yanked all errors) over Microkit 2.3.1's Cargo.lock against the RustSec advisory database at ef6173cbc5c5 (2026-10-03); rkyv 0.8.17 is the release that fixes RUSTSEC-2026-0233, -0234 and -0235; no RustSec advisory for Rust's standard library affects 1.94.0"
        },
        {
          "name": "nowayos:note",
          "value": "Audited for Microkit 2.3.1: 41 crates, all on the house list but compiler_builtins, whose licence is signed off for the protection domains (item 12) and for the initialiser's copy"
        }
      ],
      "components": [
        {
          "type": "library",
          "bom-ref": "initialiser:adler2@2.0.1",
          "name": "adler2",
          "version": "2.0.1",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa"
            }
          ],
          "licenses": [
            {
              "expression": "0BSD OR MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/adler2@2.0.1",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:alloc@0.0.0",
          "name": "alloc",
          "version": "0.0.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "the standard library of Rust 1.94.0 (4a4ef493e 2026-03-02), prebuilt for aarch64-unknown-none"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:bytecheck@0.8.2",
          "name": "bytecheck",
          "version": "0.8.2",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "0caa33a2c0edca0419d15ac723dff03f1956f7978329b1e3b5fdaaaed9d3ca8b"
            }
          ],
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/bytecheck@0.8.2",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:cfg-if@1.0.4",
          "name": "cfg-if",
          "version": "1.0.4",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/cfg-if@1.0.4",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:compiler_builtins@0.1.160",
          "name": "compiler_builtins",
          "version": "0.1.160",
          "scope": "required",
          "licenses": [
            {
              "expression": "MIT AND Apache-2.0 WITH LLVM-exception AND (MIT OR Apache-2.0)"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "the standard library of Rust 1.94.0 (4a4ef493e 2026-03-02), prebuilt for aarch64-unknown-none"
            },
            {
              "name": "nowayos:licence-sign-off",
              "value": "signed off: 2026-10-04"
            },
            {
              "name": "nowayos:note",
              "value": "Gives the binary its memcpy and memset. Version 0.1.160 is inferred: the last crates.io release (2025-05-30) and the pinned nightly's rust-src (2026-04-04), either side of Rust 1.94.0, both carry it; 1.94.0's own source was not read"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:core@0.0.0",
          "name": "core",
          "version": "0.0.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "the standard library of Rust 1.94.0 (4a4ef493e 2026-03-02), prebuilt for aarch64-unknown-none"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:dlmalloc@0.2.14",
          "name": "dlmalloc",
          "version": "0.2.14",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "ad5208a115eaba24916f7456929832e310a81518c641f93fee4f89aa93aa3675"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/dlmalloc@0.2.14",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            },
            {
              "name": "nowayos:note",
              "value": "MIT/Apache-2.0 is cargo's old way of writing MIT OR Apache-2.0; a Rust port of Doug Lea's public-domain dlmalloc"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:hashbrown@0.17.1",
          "name": "hashbrown",
          "version": "0.17.1",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "ed5909b6e89a2db4456e54cd5f673791d7eca6732202bbf2a9cc504fe2f9b84a"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/hashbrown@0.17.1",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:initialiser@2.3.1",
          "name": "initialiser",
          "version": "2.3.1",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/initialiser@2.3.1?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Fmicrokit%40ec86afdcd662b5976d11d4994acf1b11a2979882",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/microkit"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/microkit at ec86afdcd662b5976d11d4994acf1b11a2979882"
            },
            {
              "name": "nowayos:note",
              "value": "Microkit's initialiser/ crate: its Cargo.toml declares no licence; both its files carry SPDX-License-Identifier BSD-2-Clause"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:lock_api@0.4.14",
          "name": "lock_api",
          "version": "0.4.14",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/lock_api@0.4.14",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:log@0.4.33",
          "name": "log",
          "version": "0.4.33",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "0ceec5bc11778974d1bcb055b18002eba7f4b3518b6a0081b3af5f21666da9ad"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/log@0.4.33",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:miniz_oxide@0.9.1",
          "name": "miniz_oxide",
          "version": "0.9.1",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "b63fbc4a50860e98e7b2aa7804ded1db5cbc3aff9193adaff57a6931bf7c4b4c"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Zlib OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/miniz_oxide@0.9.1",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:munge@0.4.7",
          "name": "munge",
          "version": "0.4.7",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "5e17401f259eba956ca16491461b6e8f72913a0a114e39736ce404410f915a0c"
            }
          ],
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/munge@0.4.7",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:ptr_meta@0.3.1",
          "name": "ptr_meta",
          "version": "0.3.1",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "0b9a0cf95a1196af61d4f1cbdab967179516d9a4a4312af1f31948f8f6224a79"
            }
          ],
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/ptr_meta@0.3.1",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:rancor@0.1.2",
          "name": "rancor",
          "version": "0.1.2",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "daff8b7b3ccf5f7ba270b3e7a0a4d4c701c5797e38dec27c7e2c3dbb830fed1c"
            }
          ],
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/rancor@0.1.2",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:rend@0.5.4",
          "name": "rend",
          "version": "0.5.4",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "663ba70707f96e871406fe10d68128412e619b06d1d47cb91c3a4c6501176240"
            }
          ],
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/rend@0.5.4",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:rkyv@0.8.17",
          "name": "rkyv",
          "version": "0.8.17",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "815cc8a37159a463064825246cadb07961e25cd9885908606f6d08a98d8f8874"
            }
          ],
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/rkyv@0.8.17",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:scopeguard@1.2.0",
          "name": "scopeguard",
          "version": "1.2.0",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/scopeguard@1.2.0",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-bitfield-ops@0.1.0",
          "name": "sel4-bitfield-ops",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-bitfield-ops@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-capdl-initializer-types@0.1.0",
          "name": "sel4-capdl-initializer-types",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-capdl-initializer-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-capdl-initializer@0.1.0",
          "name": "sel4-capdl-initializer",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-capdl-initializer@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-config@0.1.0",
          "name": "sel4-config",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-config@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-ctors-dtors@0.1.0",
          "name": "sel4-ctors-dtors",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-ctors-dtors@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-dlmalloc@0.1.0",
          "name": "sel4-dlmalloc",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-dlmalloc@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-immediate-sync-once-cell@0.1.0",
          "name": "sel4-immediate-sync-once-cell",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-immediate-sync-once-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-immutable-cell@0.1.0",
          "name": "sel4-immutable-cell",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-immutable-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-logging@0.1.0",
          "name": "sel4-logging",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-logging@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-no-allocator@0.1.0",
          "name": "sel4-no-allocator",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-no-allocator@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-panicking-env@0.1.0",
          "name": "sel4-panicking-env",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-panicking@0.1.0",
          "name": "sel4-panicking",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-panicking@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-phdrs-constants@0.1.0",
          "name": "sel4-phdrs-constants",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-phdrs-constants@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-phdrs-patched@0.1.0",
          "name": "sel4-phdrs-patched",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-phdrs-patched@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-phdrs@0.1.0",
          "name": "sel4-phdrs",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-phdrs@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-rodata-static@0.1.0",
          "name": "sel4-rodata-static",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-rodata-static@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-root-task@0.1.0",
          "name": "sel4-root-task",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-root-task@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-runtime-common@0.1.0",
          "name": "sel4-runtime-common",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-runtime-common@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-stack@0.1.0",
          "name": "sel4-stack",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-stack@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-sync@0.1.0",
          "name": "sel4-sync",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/sel4-sync@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4-sys@0.1.0",
          "name": "sel4-sys",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "BSD-2-Clause"
            }
          ],
          "purl": "pkg:cargo/sel4-sys@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            },
            {
              "name": "nowayos:note",
              "value": "Also holds the bindings its build script generated from the SDK's libsel4 headers and interface files (BSD-2-Clause) and the kernel's configuration values"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:sel4@0.1.0",
          "name": "sel4",
          "version": "0.1.0",
          "scope": "required",
          "licenses": [
            {
              "expression": "MIT"
            }
          ],
          "purl": "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40dbe6445d56059ed9a757e53c7137892aece1d179",
          "externalReferences": [
            {
              "type": "vcs",
              "url": "https://github.com/seL4/rust-sel4"
            }
          ],
          "properties": [
            {
              "name": "nowayos:source",
              "value": "git https://github.com/seL4/rust-sel4 at dbe6445d56059ed9a757e53c7137892aece1d179"
            }
          ]
        },
        {
          "type": "library",
          "bom-ref": "initialiser:simdutf8@0.1.5",
          "name": "simdutf8",
          "version": "0.1.5",
          "scope": "required",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "e3a9fe34e3e7a50316060351f37187a3f546bce95496156754b601a5fa71b76e"
            }
          ],
          "licenses": [
            {
              "expression": "MIT OR Apache-2.0"
            }
          ],
          "purl": "pkg:cargo/simdutf8@0.1.5",
          "properties": [
            {
              "name": "nowayos:source",
              "value": "crates.io"
            }
          ]
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/loader.elf",
      "name": "microkit-loader",
      "version": "2.3.1",
      "description": "Microkit's loader: starts the CPU, places the kernel and the initial task in memory and jumps to the kernel",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "879218dfb84bce838830466d4a89d7ec255219242725fede203822f9ab6e7b3c"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "externalReferences": [
        {
          "type": "distribution",
          "url": "https://github.com/seL4/microkit/releases/download/2.3.1/microkit-sdk-2.3.1-linux-aarch64.tar.gz",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "979553f288e8e2c099dae8fbec86cbe2cfda2ca006ee36de8234649d6d23bbee"
            }
          ]
        },
        {
          "type": "vcs",
          "url": "https://github.com/seL4/microkit"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "board/qemu_virt_aarch64/debug/elf/loader.elf in the Microkit SDK 2.3.1 (microkit-sdk-2.3.1-linux-aarch64.tar.gz)"
        },
        {
          "name": "nowayos:licence-checked",
          "value": "Licensing Options, Microkit: checked for the pinned 2.3.1 on 2026-10-01"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/monitor.elf",
      "name": "microkit-monitor",
      "version": "2.3.1",
      "description": "Microkit's monitor: the protection domains' fault handler, which reports their faults",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "177e6201a12e20472137ad98a0fab17d635674a01a86886c454251c65c2ea203"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "externalReferences": [
        {
          "type": "distribution",
          "url": "https://github.com/seL4/microkit/releases/download/2.3.1/microkit-sdk-2.3.1-linux-aarch64.tar.gz",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "979553f288e8e2c099dae8fbec86cbe2cfda2ca006ee36de8234649d6d23bbee"
            }
          ]
        },
        {
          "type": "vcs",
          "url": "https://github.com/seL4/microkit"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "board/qemu_virt_aarch64/debug/elf/monitor.elf in the Microkit SDK 2.3.1 (microkit-sdk-2.3.1-linux-aarch64.tar.gz)"
        },
        {
          "name": "nowayos:licence-checked",
          "value": "Licensing Options, Microkit: checked for the pinned 2.3.1 on 2026-10-01"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        }
      ]
    },
    {
      "type": "operating-system",
      "bom-ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/sel4.elf",
      "name": "sel4",
      "version": "16.0.0",
      "description": "The seL4 microkernel, as the Microkit SDK builds it for the image's board and configuration",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "646a412595a975fb1f6fcba812f72916673efe26a6fc758f4cb509906cc1ff5b"
        }
      ],
      "licenses": [
        {
          "expression": "GPL-2.0-only"
        }
      ],
      "externalReferences": [
        {
          "type": "distribution",
          "url": "https://github.com/seL4/microkit/releases/download/2.3.1/microkit-sdk-2.3.1-linux-aarch64.tar.gz",
          "hashes": [
            {
              "alg": "SHA-256",
              "content": "979553f288e8e2c099dae8fbec86cbe2cfda2ca006ee36de8234649d6d23bbee"
            }
          ]
        },
        {
          "type": "vcs",
          "url": "https://github.com/seL4/seL4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "board/qemu_virt_aarch64/debug/elf/sel4.elf in the Microkit SDK 2.3.1 (microkit-sdk-2.3.1-linux-aarch64.tar.gz)"
        },
        {
          "name": "nowayos:licence-checked",
          "value": "Licensing Options, the kernel (decision 1); development use approved, distribution pending"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        },
        {
          "name": "nowayos:sel4-config",
          "value": "sel4-config.txt beside the image records this kernel's configuration and what seL4's proofs cover"
        },
        {
          "name": "nowayos:source-offer",
          "value": "required: GPL-2.0-only - every shipment carries an offer of this part's source "
        }
      ]
    },
    {
      "type": "file",
      "bom-ref": "notice:OFL.txt",
      "name": "OFL.txt",
      "description": "The notice of the glyph atlases (nowayos-glyphs, OFL-1.1), a Modified Version of Atkinson Hyperlegible Next 2.001 Regular, Atkinson Hyperlegible Next 2.001 Bold: its copyright line and licence, which go with every copy of the atlases and beside every image",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "aca6a428580965d2297d1b718042dd427c2a9443ece3b0d02d758e161e0c4030"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates/nowayos-glyphs/OFL.txt, the font's licence text as released, unchanged"
        },
        {
          "name": "nowayos:notice-for",
          "value": "nowayos-glyphs (OFL-1.1): Copyright 2020-2024 The Atkinson Hyperlegible Next Project Authors (https://github.com/googlefonts/atkinson-hyperlegible-next)"
        },
        {
          "name": "nowayos:font-family",
          "value": "Atkinson Hyperlegible Next"
        },
        {
          "name": "nowayos:font-version",
          "value": "2.001"
        },
        {
          "name": "nowayos:font-file",
          "value": "fonts/AtkinsonHyperlegibleNext-Regular.ttf"
        },
        {
          "name": "nowayos:font-sha256",
          "value": "88ed5c31a71584c7772963b02d04bef1eb7e3d2e9c8b9cb204339b1f82cf432c"
        },
        {
          "name": "nowayos:font-source",
          "value": "https://github.com/googlefonts/atkinson-hyperlegible-next/blob/7925f50f649b3813257faf2f4c0b381011f434f1/fonts/ttf/AtkinsonHyperlegibleNext-Regular.ttf"
        },
        {
          "name": "nowayos:font-family",
          "value": "Atkinson Hyperlegible Next"
        },
        {
          "name": "nowayos:font-version",
          "value": "2.001"
        },
        {
          "name": "nowayos:font-file",
          "value": "fonts/AtkinsonHyperlegibleNext-Bold.ttf"
        },
        {
          "name": "nowayos:font-sha256",
          "value": "994414047df66bb4998d01c1cb1eeb4a2ddc4622d1aa56bbb8adbeca7645b041"
        },
        {
          "name": "nowayos:font-source",
          "value": "https://github.com/googlefonts/atkinson-hyperlegible-next/blob/7925f50f649b3813257faf2f4c0b381011f434f1/fonts/ttf/AtkinsonHyperlegibleNext-Bold.ttf"
        },
        {
          "name": "nowayos:atlases-in",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        },
        {
          "name": "nowayos:location",
          "value": "beside loader.img, in its folder (make image)"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-bounded@0.1.0",
      "name": "nowayos-bounded",
      "version": "0.1.0",
      "description": "Fixed-capacity containers (vector, queue, UTF-8 string) for no_std code that must not allocate",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-bounded"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-demo@0.1.0",
      "name": "nowayos-demo",
      "version": "0.1.0",
      "description": "A small synthetic form demo and the scripted session that drives it: the same screens on the host and in a UI protection domain",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-demo"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-display@0.1.0",
      "name": "nowayos-display",
      "version": "0.1.0",
      "description": "Display geometry with overflow-safe maths, framebuffer pixel formats, bounded dirty-rectangle tracking and the UI-to-display message contract",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-display"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-gem@0.1.0",
      "name": "nowayos-gem",
      "version": "0.1.0",
      "description": "A Cadence GEM Ethernet MAC's rules, with no hardware: its registers, clause 22 MDIO frames, the PHY's link resolved, and descriptor rings whose every device-written word is checked",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-gem"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-glyphs@0.1.0",
      "name": "nowayos-glyphs",
      "version": "0.1.0",
      "description": "NoWayOS's glyph atlases: the UI's characters drawn at build time from the signed-off font, with metrics and kerning in 1/64 pixel",
      "scope": "required",
      "licenses": [
        {
          "expression": "OFL-1.1"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-glyphs"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        },
        {
          "name": "nowayos:font-family",
          "value": "Atkinson Hyperlegible Next"
        },
        {
          "name": "nowayos:font-version",
          "value": "2.001"
        },
        {
          "name": "nowayos:font-file",
          "value": "fonts/AtkinsonHyperlegibleNext-Regular.ttf"
        },
        {
          "name": "nowayos:font-sha256",
          "value": "88ed5c31a71584c7772963b02d04bef1eb7e3d2e9c8b9cb204339b1f82cf432c"
        },
        {
          "name": "nowayos:font-source",
          "value": "https://github.com/googlefonts/atkinson-hyperlegible-next/blob/7925f50f649b3813257faf2f4c0b381011f434f1/fonts/ttf/AtkinsonHyperlegibleNext-Regular.ttf"
        },
        {
          "name": "nowayos:font-family",
          "value": "Atkinson Hyperlegible Next"
        },
        {
          "name": "nowayos:font-version",
          "value": "2.001"
        },
        {
          "name": "nowayos:font-file",
          "value": "fonts/AtkinsonHyperlegibleNext-Bold.ttf"
        },
        {
          "name": "nowayos:font-sha256",
          "value": "994414047df66bb4998d01c1cb1eeb4a2ddc4622d1aa56bbb8adbeca7645b041"
        },
        {
          "name": "nowayos:font-source",
          "value": "https://github.com/googlefonts/atkinson-hyperlegible-next/blob/7925f50f649b3813257faf2f4c0b381011f434f1/fonts/ttf/AtkinsonHyperlegibleNext-Bold.ttf"
        },
        {
          "name": "nowayos:notice",
          "value": "OFL.txt beside loader.img"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-icons@0.1.0",
      "name": "nowayos-icons",
      "version": "0.1.0",
      "description": "NoWayOS's icons: Lucide icons drawn at build time into 8-bit alpha masks, at every device scale",
      "scope": "required",
      "licenses": [
        {
          "expression": "ISC"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-icons"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-input@0.1.0",
      "name": "nowayos-input",
      "version": "0.1.0",
      "description": "Canonical, bounded input events (keys, pointer, touch) with validation, normalisation and rate limiting",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-input"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-ipc@0.1.0",
      "name": "nowayos-ipc",
      "version": "0.1.0",
      "description": "Typed, bounded messages between protection domains: explicit wire layout, panic-free codec and a copy-then-validate SPSC ring",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-ipc"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-net@0.1.0",
      "name": "nowayos-net",
      "version": "0.1.0",
      "description": "The network path's lowest boundary: sDDF's network queues byte for byte, with every index and descriptor checked, and the ARP exchange of the network test client",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-net"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-render-eg@0.1.0",
      "name": "nowayos-render-eg",
      "version": "0.1.0",
      "description": "Renders a laid-out nowayos-ui tree to any embedded-graphics DrawTarget, with dirty-rectangle redraw",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-render-eg"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-time@0.1.0",
      "name": "nowayos-time",
      "version": "0.1.0",
      "description": "Monotonic time and wall-clock time as two types: Instant, and UTC held as an interval from the build-time floor, with checked arithmetic, the checks on a sample and the clock's records",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-time"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-ui@0.1.0",
      "name": "nowayos-ui",
      "version": "0.1.0",
      "description": "First cut of NoWayOS's declarative UI core: bounded node tree, layout, hit-testing, focus and actions",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-ui"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:../crates/nowayos-usb@0.1.0",
      "name": "nowayos-usb",
      "version": "0.1.0",
      "description": "USB host logic from the public specifications: xHCI's ring records, contexts and registers' fields, USB descriptors and requests, a device's enumeration, HID boot-protocol reports turned into canonical input events, audio streaming interfaces' isochronous transfers, and a USB camera's Motion JPEG frames, whole, for a client",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ../crates/nowayos-usb"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "path:display-ramfb@0.1.0",
      "name": "nowayos-display-ramfb",
      "version": "0.1.0",
      "description": "in QEMU: the interactive demo's display PD - the display contract's display side, showing each frame on QEMU's ramfb",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "dc4d16cab777ef9ad2aa7a64200ac9f4ff0469979302da4c33c4a924a0524ab9"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path display-ramfb"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        },
        {
          "name": "nowayos:program-image",
          "value": "nowayos-display-ramfb.elf"
        },
        {
          "name": "nowayos:protection-domains",
          "value": "display"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:hw@0.1.0",
      "name": "nowayos-hw",
      "version": "0.1.0",
      "description": "Typed, safe views of device registers, the counter and barriers, for driver protection domains (approved-unsafe crate)",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path hw"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "path:input-broker@0.1.0",
      "name": "nowayos-input-broker",
      "version": "0.1.0",
      "description": "The input broker PD - merges the canonical events of every input source into one stream for the UI, each checked against the screen and each source held to its own rate",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "1d8b08609c660aba4f2153a31e25a43b666a6e875c44667160fa9c824f7c368c"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path input-broker"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        },
        {
          "name": "nowayos:program-image",
          "value": "nowayos-input-broker.elf"
        },
        {
          "name": "nowayos:protection-domains",
          "value": "input_broker"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:region@0.1.0",
      "name": "nowayos-region",
      "version": "0.1.0",
      "description": "Typed, rights-aware views of Microkit memory regions, and the nowayos-ipc ring over them (approved-unsafe crate)",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path region"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "path:ui-demo@0.1.0",
      "name": "nowayos-ui-demo",
      "version": "0.1.0",
      "description": "The UI protection domain running the clickable demo's screens through nowayos-ui-loop",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "d59e5fa5db2a7f884deadaef267e561a91b7408a7f80ea341fcc1e0f2ae77787"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ui-demo"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        },
        {
          "name": "nowayos:program-image",
          "value": "nowayos-ui-demo.elf"
        },
        {
          "name": "nowayos:protection-domains",
          "value": "ui"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "path:ui-loop@0.1.0",
      "name": "nowayos-ui-loop",
      "version": "0.1.0",
      "description": "The UI protection domain's reusable loop: the display contract, drawing into the shared framebuffer, presenting - a product UI PD adds only its screens",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path ui-loop"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "application",
      "bom-ref": "path:virtio-input@0.1.0",
      "name": "nowayos-virtio-input",
      "version": "0.1.0",
      "description": "in QEMU: the virtio-input driver PD - finds QEMU's virtio input devices and sets them up through nowayos-hw's virtio layer, with no unsafe code of its own",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "502ea04cbfa9c4d7b0642b593bcae5fc01353df90efcfc07149b8ff6fc11efcf"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "path virtio-input"
        },
        {
          "name": "nowayos:location",
          "value": "in loader.img"
        },
        {
          "name": "nowayos:program-image",
          "value": "nowayos-virtio-input.elf"
        },
        {
          "name": "nowayos:protection-domains",
          "value": "virtio_input"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/aho-corasick@1.1.5",
      "name": "aho-corasick",
      "version": "1.1.5",
      "description": "Fast multiple substring searching.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "c982642fa9e8606056828ee9a8505737230110bb1099153c79efe865c59d12ba"
        }
      ],
      "licenses": [
        {
          "expression": "Unlicense OR MIT"
        }
      ],
      "purl": "pkg:cargo/aho-corasick@1.1.5",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/autocfg@1.5.1",
      "name": "autocfg",
      "version": "1.5.1",
      "description": "Automatic cfg for Rust compiler features",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
        }
      ],
      "licenses": [
        {
          "expression": "Apache-2.0 OR MIT"
        }
      ],
      "purl": "pkg:cargo/autocfg@1.5.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/az@1.2.1",
      "name": "az",
      "version": "1.2.1",
      "description": "Casts and checked casts",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "7b7e4c2464d97fe331d41de9d5db0def0a96f4d823b8b32a2efd503578988973"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/az@1.2.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/bindgen@0.72.1",
      "name": "bindgen",
      "version": "0.72.1",
      "description": "Automatically generates Rust FFI bindings to C and C++ libraries.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "993776b509cfb49c750f11b8f07a46fa23e0a1386ffc01fb1e7d343efc387895"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-3-Clause"
        }
      ],
      "purl": "pkg:cargo/bindgen@0.72.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/bitflags@2.13.2",
      "name": "bitflags",
      "version": "2.13.2",
      "description": "A macro to generate structures which behave like bitflags.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "3ded4057c258ba199e2d26386d3af3780957ecaee6c4ef4041c6b4b8b97c0b06"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/bitflags@2.13.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/byteorder@1.5.0",
      "name": "byteorder",
      "version": "1.5.0",
      "description": "Library for reading/writing numbers in big-endian and little-endian.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
        }
      ],
      "licenses": [
        {
          "expression": "Unlicense OR MIT"
        }
      ],
      "purl": "pkg:cargo/byteorder@1.5.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/cexpr@0.6.0",
      "name": "cexpr",
      "version": "0.6.0",
      "description": "A C expression parser and evaluator",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "6fac387a98bb7c37292057cffc56d62ecb629900026402633ae9160df93a8766"
        }
      ],
      "licenses": [
        {
          "expression": "Apache-2.0 OR MIT"
        }
      ],
      "purl": "pkg:cargo/cexpr@0.6.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/cfg-if@1.0.5",
      "name": "cfg-if",
      "version": "1.0.5",
      "description": "A macro to ergonomically define an item depending on a large number of #[cfg] parameters. Structured like an if-else chain, the first matching branch is the item that gets emitted.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "4e7648175b45a9a48536d676f68d918270699102aa8dab5496df06904c914600"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/cfg-if@1.0.5",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/clang-sys@1.9.1",
      "name": "clang-sys",
      "version": "1.9.1",
      "description": "Rust bindings for libclang.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "157a8ba7b480713b56f4c09fd13fc3e0a22a5dfab8097ba61cbc5feef950788a"
        }
      ],
      "licenses": [
        {
          "expression": "Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/clang-sys@1.9.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/dlmalloc@0.2.14",
      "name": "dlmalloc",
      "version": "0.2.14",
      "description": "A Rust port of the dlmalloc allocator",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "ad5208a115eaba24916f7456929832e310a81518c641f93fee4f89aa93aa3675"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/dlmalloc@0.2.14",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/either@1.18.0",
      "name": "either",
      "version": "1.18.0",
      "description": "The enum `Either` with variants `Left` and `Right` is a general purpose sum type with two cases.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "252afb9ae5eaa683babdc6a068b3f5726eb19e05070c731f9b2a23a7c3e8ed34"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/either@1.18.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/embedded-graphics-core@0.4.1",
      "name": "embedded-graphics-core",
      "version": "0.4.1",
      "description": "Core traits and functionality for embedded-graphics",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "95743bef3ff70fcba3930246c4e6872882bbea0dcc6da2ca860112e0cd4bd09f"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/embedded-graphics-core@0.4.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/embedded-graphics@0.8.2",
      "name": "embedded-graphics",
      "version": "0.8.2",
      "description": "Embedded graphics library for small hardware displays",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "4e8da660bb0c829b34a56a965490597f82a55e767b91f9543be80ce8ccb416fe"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/embedded-graphics@0.8.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/fallible-iterator@0.3.0",
      "name": "fallible-iterator",
      "version": "0.3.0",
      "description": "Fallible iterator traits",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "2acce4a10f12dc2fb14a218589d4f1f62ef011b2d0cc4b3cb1bba8e94da14649"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/fallible-iterator@0.3.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/float-cmp@0.9.0",
      "name": "float-cmp",
      "version": "0.9.0",
      "description": "Floating point approximate comparison traits",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "98de4bbd547a563b716d8dfa9aad1cb19bfab00f4fa09a6a4ed21dbcf44ce9c4"
        }
      ],
      "licenses": [
        {
          "expression": "MIT"
        }
      ],
      "purl": "pkg:cargo/float-cmp@0.9.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/glob@0.3.4",
      "name": "glob",
      "version": "0.3.4",
      "description": "Support for matching file paths against Unix shell style patterns.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "e4eba85ea1d0a966a983acd07deee566e67395d2d96b6fb39e62b5a833f1eb0b"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/glob@0.3.4",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/itertools@0.13.0",
      "name": "itertools",
      "version": "0.13.0",
      "description": "Extra iterator adaptors, iterator methods, free functions, and macros.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "413ee7dfc52ee1a4949ceeb7dbc8a33f2d6c088194d9f922fb8318faf1f01186"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/itertools@0.13.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/itoa@1.0.18",
      "name": "itoa",
      "version": "1.0.18",
      "description": "Fast integer primitive to string conversion",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/itoa@1.0.18",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/libc@0.2.189",
      "name": "libc",
      "version": "0.2.189",
      "description": "Raw FFI bindings to platform libraries like libc.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/libc@0.2.189",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/libloading@0.8.9",
      "name": "libloading",
      "version": "0.8.9",
      "description": "Bindings around the platform's dynamic library loading primitives with greatly improved memory safety.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "d7c4b02199fee7c5d21a5ae7d8cfa79a6ef5bb2fc834d6e9058e89c825efdc55"
        }
      ],
      "licenses": [
        {
          "expression": "ISC"
        }
      ],
      "purl": "pkg:cargo/libloading@0.8.9",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/lock_api@0.4.14",
      "name": "lock_api",
      "version": "0.4.14",
      "description": "Wrappers to create fully-featured Mutex and RwLock types. Compatible with no_std.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "224399e74b87b5f3557511d98dff8b14089b3dadafcab6bb93eab67d3aace965"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/lock_api@0.4.14",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/log@0.4.34",
      "name": "log",
      "version": "0.4.34",
      "description": "A lightweight logging facade for Rust",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "f9f8bd3e56ce4dfc153cf470fffbfa98c7620958b312ca5c3a4b8d5181fd13c6"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/log@0.4.34",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/memchr@2.8.3",
      "name": "memchr",
      "version": "2.8.3",
      "description": "Provides extremely fast (uses SIMD on x86_64, aarch64 and wasm32) routines for 1, 2 or 3 byte search and single substring search.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
        }
      ],
      "licenses": [
        {
          "expression": "Unlicense OR MIT"
        }
      ],
      "purl": "pkg:cargo/memchr@2.8.3",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/micromath@2.1.0",
      "name": "micromath",
      "version": "2.1.0",
      "description": "Embedded-friendly math library featuring fast floating point approximations (with small code size) for common arithmetic operations, trigonometry, 2D/3D vector types, statistical analysis, and quaternions. Optimizes for performance and small code size at the cost of precision.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "c3c8dda44ff03a2f238717214da50f65d5a53b45cd213a7370424ffdb6fae815"
        }
      ],
      "licenses": [
        {
          "expression": "Apache-2.0 OR MIT"
        }
      ],
      "purl": "pkg:cargo/micromath@2.1.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/minimal-lexical@0.2.1",
      "name": "minimal-lexical",
      "version": "0.2.1",
      "description": "Fast float parsing conversion routines.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "68354c5c6bd36d73ff3feceb05efa59b6acb7626617f4962be322a825e61f79a"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/minimal-lexical@0.2.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/nom@7.1.3",
      "name": "nom",
      "version": "7.1.3",
      "description": "A byte-oriented, zero-copy, parser combinators library",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "d273983c5a657a70a3e8f2a01329822f3b8c8172b73826411a55751e404a0a4a"
        }
      ],
      "licenses": [
        {
          "expression": "MIT"
        }
      ],
      "purl": "pkg:cargo/nom@7.1.3",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/num-traits@0.2.19",
      "name": "num-traits",
      "version": "0.2.19",
      "description": "Numeric traits for generic mathematics",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/num-traits@0.2.19",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-ui-demo.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/one-shot-mutex@0.2.1",
      "name": "one-shot-mutex",
      "version": "0.2.1",
      "description": "One-shot locks that panic instead of (dead)locking on contention.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "cbb10614a03e671fcbb7f1421656788f9a761aab44563b83b07140c354fa9334"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/one-shot-mutex@0.2.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/pest@2.9.2",
      "name": "pest",
      "version": "2.9.2",
      "description": "The Elegant Parser",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "45d3aca230fad2e6f6317ca0a72724338c4960cb97168a85cdee66df4a9a21a8"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/pest@2.9.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/pest_derive@2.9.2",
      "name": "pest_derive",
      "version": "2.9.2",
      "description": "pest's derive macro",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "284b60557f2c4a2e72ad3f2d34d42685a2fa4a6a61d0d2a10c0ae2a5e916c2cf"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/pest_derive@2.9.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/pest_generator@2.9.2",
      "name": "pest_generator",
      "version": "2.9.2",
      "description": "pest code generator",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "1d9d1f08a115309ee99268cf85e5228e0e56aa9caf8841ec12866b6be07c3109"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/pest_generator@2.9.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/pest_meta@2.9.2",
      "name": "pest_meta",
      "version": "2.9.2",
      "description": "pest meta language parser and validator",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "ed93ba1a9ffcca32130a5188701c81c0c49cf00d4b7c5007d5148951d743adcb"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/pest_meta@2.9.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/prettyplease@0.2.37",
      "name": "prettyplease",
      "version": "0.2.37",
      "description": "A minimal `syn` syntax tree pretty-printer",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "479ca8adacdd7ce8f1fb39ce9ecccbfe93a3f1344b3d0d97f20bc0196208f62b"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/prettyplease@0.2.37",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/proc-macro2@1.0.107",
      "name": "proc-macro2",
      "version": "1.0.107",
      "description": "A substitute implementation of the compiler's `proc_macro` API to decouple token-based libraries from the procedural macro use case.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/proc-macro2@1.0.107",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/quote@1.0.47",
      "name": "quote",
      "version": "1.0.47",
      "description": "Quasi-quoting macro quote!(...)",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/quote@1.0.47",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/regex-automata@0.4.18",
      "name": "regex-automata",
      "version": "0.4.18",
      "description": "Automata construction and matching using regular expressions.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "ad8553b9b26413251cbf30e620595c7a41b3887f03da04579c0e6b0d6a06b4b2"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/regex-automata@0.4.18",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/regex-syntax@0.8.11",
      "name": "regex-syntax",
      "version": "0.8.11",
      "description": "A regular expression parser.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "d6f6ff9a378485b298a5286656da665ba74413d36db0979633275d2e708145d4"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/regex-syntax@0.8.11",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/regex@1.13.1",
      "name": "regex",
      "version": "1.13.1",
      "description": "An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "f020237b6c8eed93db2e2cb53c00c60a8e1bc73da7d073199a1180401450218d"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/regex@1.13.1",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/rustc-hash@2.1.3",
      "name": "rustc-hash",
      "version": "2.1.3",
      "description": "A speedy, non-cryptographic hashing algorithm used by rustc",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "6b1e7f9a428571be2dc5bc0505c13fb6bf936822b894ec87abf8a08a4e51742d"
        }
      ],
      "licenses": [
        {
          "expression": "Apache-2.0 OR MIT"
        }
      ],
      "purl": "pkg:cargo/rustc-hash@2.1.3",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/rustversion@1.0.23",
      "name": "rustversion",
      "version": "1.0.23",
      "description": "Conditional compilation according to rustc compiler version",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "cf54715a573b99ac80df0bc206da022bcd442c974952c7b9720069370852e21f"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/rustversion@1.0.23",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/safe-mmio@0.3.2",
      "name": "safe-mmio",
      "version": "0.3.2",
      "description": "Types for safe MMIO device access, especially in systems with an MMU.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "e885ed64c91774b671612cb99dda2ede3738b0aa2d39a85a1471b20bf09eabe0"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/safe-mmio@0.3.2",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/scopeguard@1.2.0",
      "name": "scopeguard",
      "version": "1.2.0",
      "description": "A RAII scope guard that will run a given closure when it goes out of scope, even if the code between panics (assuming unwinding panic). Defines the macros `defer!`, `defer_on_unwind!`, `defer_on_success!` as shorthands for guards with one of the implemented strategies.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/scopeguard@1.2.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-alloca@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-alloca",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-alloca@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-bitfield-ops@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-bitfield-ops",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-bitfield-ops@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-build-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-build-env",
      "version": "0.1.0",
      "scope": "excluded",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-build-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-config-data@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-config-data",
      "version": "0.1.0",
      "scope": "excluded",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-config-data@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-config-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-config-macros",
      "version": "0.1.0",
      "scope": "excluded",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-config-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-config-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-config-types",
      "version": "0.1.0",
      "scope": "excluded",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-config-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-config@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-config",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-config@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-ctors-dtors@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-ctors-dtors",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-ctors-dtors@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-dlmalloc@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-dlmalloc",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-dlmalloc@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-immediate-sync-once-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-immediate-sync-once-cell",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-immediate-sync-once-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-immutable-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-immutable-cell",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-immutable-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-initialize-tls@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-initialize-tls",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-initialize-tls@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-microkit-base@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-microkit-base",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-microkit-base@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-microkit-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-microkit-macros",
      "version": "0.1.0",
      "scope": "excluded",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-microkit-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-microkit",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-panicking-env",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-panicking@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-panicking",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-panicking@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-phdrs-constants@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-phdrs-constants",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-phdrs-constants@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-phdrs@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-phdrs",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-phdrs@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-runtime-common@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-runtime-common",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-runtime-common@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-stack@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-stack",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-stack@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4-sys@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4-sys",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "BSD-2-Clause"
        }
      ],
      "purl": "pkg:cargo/sel4-sys@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "name": "sel4",
      "version": "0.1.0",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT"
        }
      ],
      "purl": "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "externalReferences": [
        {
          "type": "vcs",
          "url": "https://github.com/seL4/rust-sel4"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "git+https://github.com/seL4/rust-sel4?rev=d441a880938209f661201704dfbee7b91c5aa905"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/serde@1.0.229",
      "name": "serde",
      "version": "1.0.229",
      "description": "A generic serialization/deserialization framework",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "4148590afebada386688f18773da617792bf2ef03ffc1e4cbd2b1d45b023e0ba"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/serde@1.0.229",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/serde_core@1.0.229",
      "name": "serde_core",
      "version": "1.0.229",
      "description": "Serde traits only, with no support for derive -- use the `serde` crate instead",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/serde_core@1.0.229",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/serde_derive@1.0.229",
      "name": "serde_derive",
      "version": "1.0.229",
      "description": "Macros 1.1 implementation of #[derive(Serialize, Deserialize)]",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/serde_derive@1.0.229",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/serde_json@1.0.151",
      "name": "serde_json",
      "version": "1.0.151",
      "description": "A JSON serialization file format",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "c841b55ecdae098c80dcae9cf767f6f8a0c2cdb3416bbef72181df4d0fe73f14"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/serde_json@1.0.151",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/shlex@1.3.0",
      "name": "shlex",
      "version": "1.3.0",
      "description": "Split a string into shell words, like Python's shlex.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "0fda2ff0d084019ba4d7c6f371c95d8fd75ce3524c3cb8fb653a3023f6323e64"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/shlex@1.3.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/syn@2.0.119",
      "name": "syn",
      "version": "2.0.119",
      "description": "Parser for Rust source code",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/syn@2.0.119",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/syn@3.0.6",
      "name": "syn",
      "version": "3.0.6",
      "description": "Parser for Rust source code",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "8593e8e72159ed2257d083c7a454a85cbf854f37a0966d8d483aff8c8a3ebcee"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/syn@3.0.6",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/ucd-trie@0.1.7",
      "name": "ucd-trie",
      "version": "0.1.7",
      "description": "A trie for storing Unicode codepoint sets and maps.",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971"
        }
      ],
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "purl": "pkg:cargo/ucd-trie@0.1.7",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/unicode-ident@1.0.26",
      "name": "unicode-ident",
      "version": "1.0.26",
      "description": "Determine whether characters have the XID_Start or XID_Continue properties according to Unicode Standard Annex #31",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954"
        }
      ],
      "licenses": [
        {
          "expression": "(MIT OR Apache-2.0) AND Unicode-3.0"
        }
      ],
      "purl": "pkg:cargo/unicode-ident@1.0.26",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/xml@1.4.0",
      "name": "xml",
      "version": "1.4.0",
      "description": "An XML library in pure Rust",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "2f45bb2c13fec6a6cb4c0f76a7e94839e110a14ec803ec2940777a94c347bc52"
        }
      ],
      "licenses": [
        {
          "expression": "MIT"
        }
      ],
      "purl": "pkg:cargo/xml@1.4.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/xmltree@0.12.0",
      "name": "xmltree",
      "version": "0.12.0",
      "description": "Parse an XML file into a simple tree-like structure",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "cbc04313cab124e498ab1724e739720807b6dc405b9ed0edc5860164d2e4ff70"
        }
      ],
      "licenses": [
        {
          "expression": "MIT"
        }
      ],
      "purl": "pkg:cargo/xmltree@0.12.0",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/zerocopy-derive@0.8.59",
      "name": "zerocopy-derive",
      "version": "0.8.59",
      "description": "Custom derive for traits from the zerocopy crate",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "ac4f328cf2f05d084e496c3e9c3f33ed0a183656a16e1fcec4d464d8373aec82"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-2-Clause OR Apache-2.0 OR MIT"
        }
      ],
      "purl": "pkg:cargo/zerocopy-derive@0.8.59",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/zerocopy@0.8.59",
      "name": "zerocopy",
      "version": "0.8.59",
      "description": "Zerocopy makes zero-cost memory manipulation effortless. We write \"unsafe\" so you don't have to.",
      "scope": "required",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "6df92bf3d9227be3d53173901ddbffac2babc27ae50f397776ffd6dc33f800cb"
        }
      ],
      "licenses": [
        {
          "expression": "BSD-2-Clause OR Apache-2.0 OR MIT"
        }
      ],
      "purl": "pkg:cargo/zerocopy@0.8.59",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "pkg:cargo/zmij@1.0.23",
      "name": "zmij",
      "version": "1.0.23",
      "description": "A double-to-string conversion algorithm based on Schubfach and xjb",
      "scope": "excluded",
      "hashes": [
        {
          "alg": "SHA-256",
          "content": "29666d0abbfad1e3dc4dcf6144730dd3a3ab225bbbdac83319345b1b44ccfc1b"
        }
      ],
      "licenses": [
        {
          "expression": "MIT"
        }
      ],
      "purl": "pkg:cargo/zmij@1.0.23",
      "properties": [
        {
          "name": "nowayos:source",
          "value": "crates.io"
        },
        {
          "name": "nowayos:excluded",
          "value": "build time only: a build script's or proc macro's dependency"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "rust-std:alloc@0.0.0",
      "name": "alloc",
      "version": "0.0.0",
      "description": "Rust standard-library crate compiled into the protection domains by build-std, from the rust-src of nightly-2026-04-04",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "rust-src of nightly-2026-04-04 (build-std)"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "rust-std:compiler_builtins@0.1.160",
      "name": "compiler_builtins",
      "version": "0.1.160",
      "description": "Rust standard-library crate compiled into the protection domains by build-std, from the rust-src of nightly-2026-04-04",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT AND Apache-2.0 WITH LLVM-exception AND (MIT OR Apache-2.0)"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "rust-src of nightly-2026-04-04 (build-std)"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    },
    {
      "type": "library",
      "bom-ref": "rust-std:core@0.0.0",
      "name": "core",
      "version": "0.0.0",
      "description": "Rust standard-library crate compiled into the protection domains by build-std, from the rust-src of nightly-2026-04-04",
      "scope": "required",
      "licenses": [
        {
          "expression": "MIT OR Apache-2.0"
        }
      ],
      "properties": [
        {
          "name": "nowayos:source",
          "value": "rust-src of nightly-2026-04-04 (build-std)"
        },
        {
          "name": "nowayos:program-images",
          "value": "nowayos-display-ramfb.elf, nowayos-input-broker.elf, nowayos-ui-demo.elf, nowayos-virtio-input.elf"
        }
      ]
    }
  ],
  "dependencies": [
    {
      "ref": "file:screen-1920x1064.bin",
      "dependsOn": []
    },
    {
      "ref": "file:ui-interactive.system",
      "dependsOn": []
    },
    {
      "ref": "image:ui-interactive",
      "dependsOn": [
        "file:screen-1920x1064.bin",
        "file:ui-interactive.system",
        "microkit-sdk:board/qemu_virt_aarch64/debug/elf/initialiser.elf",
        "microkit-sdk:board/qemu_virt_aarch64/debug/elf/loader.elf",
        "microkit-sdk:board/qemu_virt_aarch64/debug/elf/monitor.elf",
        "microkit-sdk:board/qemu_virt_aarch64/debug/elf/sel4.elf",
        "notice:OFL.txt",
        "path:display-ramfb@0.1.0",
        "path:input-broker@0.1.0",
        "path:ui-demo@0.1.0",
        "path:virtio-input@0.1.0"
      ]
    },
    {
      "ref": "microkit-sdk:bin/microkit",
      "dependsOn": []
    },
    {
      "ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/initialiser.elf",
      "dependsOn": []
    },
    {
      "ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/loader.elf",
      "dependsOn": []
    },
    {
      "ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/monitor.elf",
      "dependsOn": []
    },
    {
      "ref": "microkit-sdk:board/qemu_virt_aarch64/debug/elf/sel4.elf",
      "dependsOn": []
    },
    {
      "ref": "notice:OFL.txt",
      "dependsOn": []
    },
    {
      "ref": "path:../crates/nowayos-bounded@0.1.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-demo@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-display@0.1.0",
        "path:../crates/nowayos-input@0.1.0",
        "path:../crates/nowayos-ui@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-display@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-bounded@0.1.0",
        "path:../crates/nowayos-ipc@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-gem@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-net@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-glyphs@0.1.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-icons@0.1.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-input@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-ipc@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-ipc@0.1.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-net@0.1.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-render-eg@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-display@0.1.0",
        "path:../crates/nowayos-glyphs@0.1.0",
        "path:../crates/nowayos-ui@0.1.0",
        "pkg:cargo/embedded-graphics@0.8.2",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-time@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-ipc@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-ui@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-bounded@0.1.0",
        "path:../crates/nowayos-display@0.1.0",
        "path:../crates/nowayos-glyphs@0.1.0",
        "path:../crates/nowayos-icons@0.1.0",
        "path:../crates/nowayos-input@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:../crates/nowayos-usb@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-input@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:display-ramfb@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-display@0.1.0",
        "path:../crates/nowayos-ipc@0.1.0",
        "path:hw@0.1.0",
        "path:region@0.1.0",
        "path:ui-loop@0.1.0",
        "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:hw@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-gem@0.1.0",
        "path:../crates/nowayos-net@0.1.0",
        "path:../crates/nowayos-usb@0.1.0",
        "pkg:cargo/safe-mmio@0.3.2",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:input-broker@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-input@0.1.0",
        "path:../crates/nowayos-ipc@0.1.0",
        "path:hw@0.1.0",
        "path:region@0.1.0",
        "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:region@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-display@0.1.0",
        "path:../crates/nowayos-ipc@0.1.0",
        "path:../crates/nowayos-net@0.1.0",
        "path:../crates/nowayos-time@0.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:ui-demo@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-demo@0.1.0",
        "path:../crates/nowayos-display@0.1.0",
        "path:hw@0.1.0",
        "path:ui-loop@0.1.0",
        "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:ui-loop@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-bounded@0.1.0",
        "path:../crates/nowayos-display@0.1.0",
        "path:../crates/nowayos-input@0.1.0",
        "path:../crates/nowayos-ipc@0.1.0",
        "path:../crates/nowayos-render-eg@0.1.0",
        "path:../crates/nowayos-ui@0.1.0",
        "path:region@0.1.0",
        "pkg:cargo/embedded-graphics@0.8.2",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "path:virtio-input@0.1.0",
      "dependsOn": [
        "path:../crates/nowayos-input@0.1.0",
        "path:../crates/nowayos-ipc@0.1.0",
        "path:hw@0.1.0",
        "path:region@0.1.0",
        "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/aho-corasick@1.1.5",
      "dependsOn": [
        "pkg:cargo/memchr@2.8.3"
      ]
    },
    {
      "ref": "pkg:cargo/autocfg@1.5.1",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/az@1.2.1",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/bindgen@0.72.1",
      "dependsOn": [
        "pkg:cargo/bitflags@2.13.2",
        "pkg:cargo/cexpr@0.6.0",
        "pkg:cargo/clang-sys@1.9.1",
        "pkg:cargo/itertools@0.13.0",
        "pkg:cargo/log@0.4.34",
        "pkg:cargo/prettyplease@0.2.37",
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/regex@1.13.1",
        "pkg:cargo/rustc-hash@2.1.3",
        "pkg:cargo/shlex@1.3.0",
        "pkg:cargo/syn@2.0.119"
      ]
    },
    {
      "ref": "pkg:cargo/bitflags@2.13.2",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/byteorder@1.5.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/cexpr@0.6.0",
      "dependsOn": [
        "pkg:cargo/nom@7.1.3"
      ]
    },
    {
      "ref": "pkg:cargo/cfg-if@1.0.5",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/clang-sys@1.9.1",
      "dependsOn": [
        "pkg:cargo/glob@0.3.4",
        "pkg:cargo/libc@0.2.189",
        "pkg:cargo/libloading@0.8.9"
      ]
    },
    {
      "ref": "pkg:cargo/dlmalloc@0.2.14",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/either@1.18.0",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/embedded-graphics-core@0.4.1",
      "dependsOn": [
        "pkg:cargo/az@1.2.1",
        "pkg:cargo/byteorder@1.5.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/embedded-graphics@0.8.2",
      "dependsOn": [
        "pkg:cargo/az@1.2.1",
        "pkg:cargo/byteorder@1.5.0",
        "pkg:cargo/embedded-graphics-core@0.4.1",
        "pkg:cargo/float-cmp@0.9.0",
        "pkg:cargo/micromath@2.1.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/fallible-iterator@0.3.0",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/float-cmp@0.9.0",
      "dependsOn": [
        "pkg:cargo/num-traits@0.2.19",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/glob@0.3.4",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/itertools@0.13.0",
      "dependsOn": [
        "pkg:cargo/either@1.18.0"
      ]
    },
    {
      "ref": "pkg:cargo/itoa@1.0.18",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/libc@0.2.189",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/libloading@0.8.9",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5"
      ]
    },
    {
      "ref": "pkg:cargo/lock_api@0.4.14",
      "dependsOn": [
        "pkg:cargo/scopeguard@1.2.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/log@0.4.34",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/memchr@2.8.3",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/micromath@2.1.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/minimal-lexical@0.2.1",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/nom@7.1.3",
      "dependsOn": [
        "pkg:cargo/memchr@2.8.3",
        "pkg:cargo/minimal-lexical@0.2.1"
      ]
    },
    {
      "ref": "pkg:cargo/num-traits@0.2.19",
      "dependsOn": [
        "pkg:cargo/autocfg@1.5.1",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/one-shot-mutex@0.2.1",
      "dependsOn": [
        "pkg:cargo/lock_api@0.4.14",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/pest@2.9.2",
      "dependsOn": [
        "pkg:cargo/memchr@2.8.3",
        "pkg:cargo/ucd-trie@0.1.7"
      ]
    },
    {
      "ref": "pkg:cargo/pest_derive@2.9.2",
      "dependsOn": [
        "pkg:cargo/pest@2.9.2",
        "pkg:cargo/pest_generator@2.9.2"
      ]
    },
    {
      "ref": "pkg:cargo/pest_generator@2.9.2",
      "dependsOn": [
        "pkg:cargo/pest@2.9.2",
        "pkg:cargo/pest_meta@2.9.2",
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/syn@2.0.119"
      ]
    },
    {
      "ref": "pkg:cargo/pest_meta@2.9.2",
      "dependsOn": [
        "pkg:cargo/pest@2.9.2"
      ]
    },
    {
      "ref": "pkg:cargo/prettyplease@0.2.37",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/syn@2.0.119"
      ]
    },
    {
      "ref": "pkg:cargo/proc-macro2@1.0.107",
      "dependsOn": [
        "pkg:cargo/unicode-ident@1.0.26"
      ]
    },
    {
      "ref": "pkg:cargo/quote@1.0.47",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107"
      ]
    },
    {
      "ref": "pkg:cargo/regex-automata@0.4.18",
      "dependsOn": [
        "pkg:cargo/aho-corasick@1.1.5",
        "pkg:cargo/memchr@2.8.3",
        "pkg:cargo/regex-syntax@0.8.11"
      ]
    },
    {
      "ref": "pkg:cargo/regex-syntax@0.8.11",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/regex@1.13.1",
      "dependsOn": [
        "pkg:cargo/aho-corasick@1.1.5",
        "pkg:cargo/memchr@2.8.3",
        "pkg:cargo/regex-automata@0.4.18",
        "pkg:cargo/regex-syntax@0.8.11"
      ]
    },
    {
      "ref": "pkg:cargo/rustc-hash@2.1.3",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/rustversion@1.0.23",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/safe-mmio@0.3.2",
      "dependsOn": [
        "pkg:cargo/zerocopy@0.8.59",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/scopeguard@1.2.0",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-alloca@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-bitfield-ops@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/rustversion@1.0.23",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-build-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/sel4-config-data@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/sel4-build-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-config-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/serde_json@1.0.151"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-config-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/fallible-iterator@0.3.0",
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/sel4-config-data@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-config-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/syn@2.0.119"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-config-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/serde@1.0.229"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-config@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/prettyplease@0.2.37",
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/sel4-config-data@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-config-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-config-types@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/syn@2.0.119",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-ctors-dtors@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-dlmalloc@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/dlmalloc@0.2.14",
        "pkg:cargo/lock_api@0.4.14",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-immediate-sync-once-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-immutable-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-initialize-tls@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "pkg:cargo/sel4-alloca@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-microkit-base@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/sel4-immutable-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-microkit-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/syn@2.0.119"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-microkit@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "pkg:cargo/one-shot-mutex@0.2.1",
        "pkg:cargo/sel4-dlmalloc@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-immediate-sync-once-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-microkit-base@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-microkit-macros@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-panicking@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-runtime-common@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-panicking@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "pkg:cargo/sel4-immediate-sync-once-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-phdrs-constants@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-phdrs@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/sel4-phdrs-constants@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-runtime-common@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "pkg:cargo/sel4-ctors-dtors@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-immutable-cell@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-initialize-tls@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-panicking-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-phdrs@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-stack@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-stack@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4-sys@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/bindgen@0.72.1",
        "pkg:cargo/glob@0.3.4",
        "pkg:cargo/log@0.4.34",
        "pkg:cargo/pest@2.9.2",
        "pkg:cargo/pest_derive@2.9.2",
        "pkg:cargo/prettyplease@0.2.37",
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/regex@1.13.1",
        "pkg:cargo/sel4-bitfield-ops@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-build-env@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-config-data@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-config@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/syn@2.0.119",
        "pkg:cargo/xmltree@0.12.0",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/sel4@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
      "dependsOn": [
        "pkg:cargo/cfg-if@1.0.5",
        "pkg:cargo/sel4-config@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "pkg:cargo/sel4-sys@0.1.0?vcs_url=git%2Bhttps%3A%2F%2Fgithub.com%2FseL4%2Frust-sel4%40d441a880938209f661201704dfbee7b91c5aa905",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/serde@1.0.229",
      "dependsOn": [
        "pkg:cargo/serde_core@1.0.229",
        "pkg:cargo/serde_derive@1.0.229"
      ]
    },
    {
      "ref": "pkg:cargo/serde_core@1.0.229",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/serde_derive@1.0.229",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/syn@3.0.6"
      ]
    },
    {
      "ref": "pkg:cargo/serde_json@1.0.151",
      "dependsOn": [
        "pkg:cargo/itoa@1.0.18",
        "pkg:cargo/memchr@2.8.3",
        "pkg:cargo/serde_core@1.0.229",
        "pkg:cargo/zmij@1.0.23"
      ]
    },
    {
      "ref": "pkg:cargo/shlex@1.3.0",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/syn@2.0.119",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/unicode-ident@1.0.26"
      ]
    },
    {
      "ref": "pkg:cargo/syn@3.0.6",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/unicode-ident@1.0.26"
      ]
    },
    {
      "ref": "pkg:cargo/ucd-trie@0.1.7",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/unicode-ident@1.0.26",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/xml@1.4.0",
      "dependsOn": []
    },
    {
      "ref": "pkg:cargo/xmltree@0.12.0",
      "dependsOn": [
        "pkg:cargo/xml@1.4.0"
      ]
    },
    {
      "ref": "pkg:cargo/zerocopy-derive@0.8.59",
      "dependsOn": [
        "pkg:cargo/proc-macro2@1.0.107",
        "pkg:cargo/quote@1.0.47",
        "pkg:cargo/syn@2.0.119"
      ]
    },
    {
      "ref": "pkg:cargo/zerocopy@0.8.59",
      "dependsOn": [
        "pkg:cargo/zerocopy-derive@0.8.59",
        "rust-std:alloc@0.0.0",
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "pkg:cargo/zmij@1.0.23",
      "dependsOn": []
    },
    {
      "ref": "rust-std:alloc@0.0.0",
      "dependsOn": [
        "rust-std:compiler_builtins@0.1.160",
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "rust-std:compiler_builtins@0.1.160",
      "dependsOn": [
        "rust-std:core@0.0.0"
      ]
    },
    {
      "ref": "rust-std:core@0.0.0",
      "dependsOn": []
    }
  ],
  "compositions": [
    {
      "aggregate": "complete",
      "assemblies": [
        "microkit-sdk:board/qemu_virt_aarch64/debug/elf/initialiser.elf"
      ]
    }
  ]
}
