vostd/ostd/Cargo.toml at 8687a9586bd2c5c243db5925c9f459ea0c4a32d8 · asterinas/vostd · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
[package]
name = "ostd"
version = "0.16.0"
edition = "2021"
description = "Rust OS framework that facilitates the development of and innovation in OS kernels"
license = "MPL-2.0"
readme = "README.md"
repository = "https://github.com/asterinas/asterinas"
documentation = "https://asterinas.github.io/api-docs"

# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

# Settings for publishing docs in docs.rs
[package.metadata.docs.rs]
default-target = "x86_64-unknown-none"
targets = ["x86_64-unknown-none"]

[dependencies]
vstd = { workspace = true }
vstd_extra = { path = "../verified_libs/vstd_extra" }
verus_state_machines_macros = { workspace = true }
bitflags = { path = "../verified_libs/bitflags" }
align_ext = { path = "libs/align_ext", version = "0.1.0" }
bit_field = "0.10.1"
buddy_system_allocator = { version = "0.10", default-features = false, features = ["alloc"] }
bitflags_upstream = { package = "bitflags", version = "1.3" }
cfg-if = "1.0"
gimli = { version = "0.28", default-features = false, features = ["read-core"] }
id-alloc = { path = "libs/id-alloc", version = "0.1.0" }
inherit-methods-macro = { git = "https://github.com/asterinas/inherit-methods-macro", rev = "98f7e3e", version = "0.1.0" }
#int-to-c-enum = { path = "../kernel/libs/int-to-c-enum", version = "0.1.0" }
# intrusive-collections = { version = "0.9.6", features = ["nightly"] }
#linux-boot-params = { version = "0.15.1", path = "libs/linux-bzimage/boot-params" }
log = "0.4"
num-traits = { version = "0.2", default-features = false }
#ostd-macros = { version = "0.15.1", path = "libs/ostd-macros" }
#ostd-test = { version = "0.15.1", path = "libs/ostd-test" }
#ostd-pod = { git = "https://github.com/asterinas/ostd-pod", rev = "c4644be", version = "0.1.1" }
ostd-pod = { path = "../verified_libs/ostd-pod" }
spin = "0.9.4"
smallvec = "1.13.2"
volatile = "0.6.1"
bitvec = { version = "1.0", default-features = false, features = ["alloc"] }

minicov = { version = "0.3", optional = true }

# The targets are chosen to prevent the generated machine code from using any
# vector or floating-point registers.
#
# - `x86_64-unknown-none` satisfies this property, as explained by [the
#   official documentation](https://doc.rust-lang.org/rustc/platform-support/x86_64-unknown-none.html).
# - `riscv64imac-unknown-none-elf` denotes a RISC-V ISA with only basic
#   extensions (`imac`) and no floating-point-related extensions.
# - `loongarch64-unknown-none-softfloat` is rather self-explaining.

[target.x86_64-unknown-none.dependencies]
x86_64 = "0.14.13"
x86 = "0.52.0"
acpi = "=5.2.0" # This upstream often bump minor versions with API changes
multiboot2 = "0.24.0"
iced-x86 = { version = "1.21.0", default-features = false, features = [
    "no_std",
    "decoder",
    "gas",
], optional = true }
tdx-guest = { version = "0.2.1", optional = true }
unwinding = { version = "=0.2.6", default-features = false, features = ["fde-gnu-eh-frame-hdr", "hide-trace", "panic", "personality", "unwinder"] }

[target.riscv64imac-unknown-none-elf.dependencies]
riscv = { version = "0.11.1", features = ["s-mode"] }
sbi-rt = "0.0.3"
fdt = { version = "0.1.5", features = ["pretty-printing"] }
unwinding = { version = "=0.2.6", default-features = false, features = ["fde-gnu-eh-frame-hdr", "hide-trace", "panic", "personality", "unwinder"] }

[target.loongarch64-unknown-none-softfloat.dependencies]
loongArch64 = "0.2.5"
fdt = { version = "0.1.5", features = ["pretty-printing"] }

[features]
# default = ["cvm_guest"]
default = []
allow_panic = []
# The guest OS support for Confidential VMs (CVMs), e.g., Intel TDX
cvm_guest = ["dep:tdx-guest", "dep:iced-x86"]
coverage = ["minicov"]

[lints]
workspace = true

[package.metadata.verus]
verify = true