Cargo.toml

#
# Copyright 2023, Colias Group, LLC
#
# SPDX-License-Identifier: BSD-2-Clause
#
#
# This file is generated from './Cargo.nix'. You can edit this file directly
# if you are not using this project's Cargo manifest management tools.
# See 'hacking/cargo-manifest-management/README.md' for more information.
#

[package]
name = "sel4-sys"
version = "0.1.0"
authors = ["Nick Spinale <nick.spinale@coliasgroup.com>"]
build = "build/main.rs"
edition = "2021"
license = "BSD-2-Clause"

[dependencies]
log = "0.4.17"
sel4-bitfield-ops = { path = "../bitfield-ops" }
sel4-config = { path = "../config" }

[build-dependencies]
bindgen = "0.68.1"
glob = "0.3.0"
proc-macro2 = "1.0.50"
quote = "1.0.23"
sel4-bitfield-parser = { path = "../bitfield-parser" }
sel4-build-env = { path = "../build-env" }
sel4-config = { path = "../config" }
sel4-config-data = { path = "../config/data" }
sel4-rustfmt-helper = { path = "../../sel4-rustfmt-helper" }
syn = "1.0.107"
xmltree = "0.10.3"