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

[features]
unstable = ["volatile/unstable"]
very_unstable = ["volatile/very_unstable"]

[dependencies]
cfg-if = "1.0.0"
sel4-atomic-ptr = { path = "../sel4-atomic-ptr" }
zerocopy = "0.7.32"

[dependencies.volatile]
git = "https://github.com/coliasgroup/volatile.git"
tag = "keep/aa7512906e9b76066ed928eb6986b0f9"