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

[dependencies]
cfg-if = "1.0.0"
embedded-hal-nb = "1.0"
heapless = { version = "0.7.16", features = ["serde"] }
log = "0.4.17"
postcard = { version = "1.0.2", default-features = false }
sel4-config = { path = "../sel4/config" }
sel4-immutable-cell = { path = "../sel4-immutable-cell" }
sel4-kernel-loader-embed-page-tables-runtime = { path = "embed-page-tables/runtime" }
sel4-kernel-loader-payload-types = { path = "payload-types", features = ["serde"] }
sel4-logging = { path = "../sel4-logging" }
sel4-platform-info = { path = "../sel4-platform-info" }
sel4-stack = { path = "../sel4-stack" }
spin = { version = "0.9.4", features = ["lock_api"] }

[build-dependencies]
cc = "1.0.76"
glob = "0.3.0"
object = "0.36.1"
postcard = { version = "1.0.2", default-features = false, features = ["alloc"] }
quote = "1.0.23"
sel4-build-env = { path = "../sel4/build-env" }
sel4-config = { path = "../sel4/config" }
sel4-kernel-loader-config-types = { path = "config-types" }
sel4-kernel-loader-embed-page-tables = { path = "embed-page-tables" }
sel4-kernel-loader-payload-types = { path = "payload-types" }
sel4-platform-info = { path = "../sel4-platform-info" }
sel4-rustfmt-helper = { path = "../sel4-rustfmt-helper" }
serde = "1.0.147"

[target."cfg(any(target_arch = \"arm\", target_arch = \"aarch64\"))".dependencies]
sel4-bcm2835-aux-uart-driver = { path = "../drivers/bcm2835-aux-uart" }
sel4-pl011-driver = { path = "../drivers/pl011" }

[target."cfg(any(target_arch = \"riscv32\", target_arch = \"riscv64\"))".dependencies]
riscv = "0.10.0"
sbi = "0.2.0"

[target."cfg(target_arch = \"aarch64\")".dependencies]
aarch64-cpu = "9.4.0"
smccc = "0.1.1"