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-microkit"
version = "0.1.0"
authors = ["Nick Spinale <nick.spinale@coliasgroup.com>"]
edition = "2021"
license = "BSD-2-Clause"

[features]
alloc = ["sel4-panicking/alloc"]
full = ["alloc"]

[dependencies]
cfg-if = "1.0.0"
sel4 = { path = "../sel4", features = ["single-threaded"] }
sel4-ctors-dtors = { path = "../sel4-ctors-dtors" }
sel4-dlmalloc = { path = "../sel4-dlmalloc" }
sel4-immediate-sync-once-cell = { path = "../sel4-immediate-sync-once-cell" }
sel4-microkit-base = { path = "base" }
sel4-microkit-macros = { path = "macros" }
sel4-panicking = { path = "../sel4-panicking" }
sel4-panicking-env = { path = "../sel4-panicking/env" }
sel4-runtime-common = { path = "../sel4-runtime-common", features = ["unwinding", "tls", "start"] }
sel4-sync = { path = "../sel4-sync" }