svsm/kernel/Cargo.toml at 00dc70d8087c977a549a1b86d4b3aa1ddc73ad8e · coconut-svsm/svsm · 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
92
93
94
95
96
97
98
99
100
101
[package]
name = "svsm"
version = "0.1.0"
edition.workspace = true

[[bin]]
name = "svsm"
path = "src/svsm.rs"
test = false

[lib]
test = true
doctest = true

[dependencies]
bootdefs.workspace = true
bootimg.workspace = true
cpuarch.workspace = true
libaproxy = { workspace = true, optional = true }
elf.workspace = true
syscall.workspace = true

aes-gcm = { workspace = true, features = ["aes", "alloc", "zeroize"] }
aes-kw = { workspace = true, features = ["zeroize"], optional = true }
bitfield-struct.workspace = true
bitflags.workspace = true
cocoon-tpm-crypto = { workspace = true, features = [
    "enable_arch_math_asm", "zeroize",
    # Enable x86 rdseed based rng.
    "enable_x86_64_rdseed",
    # At least one of block cipher, mode and hash is needed,
    # otherwise compilation will fail due to empty enums.
    "aes", "cfb", "sha256", "sha384", "sha512",
    "ecc", "ecdh", "ecdsa",
    "ecc_nist_p224", "ecc_nist_p256",
    "ecc_nist_p384", "ecc_nist_p521",
], optional = true }
cocoon-tpm-tpm2-interface = { workspace = true, optional = true }
cocoon-tpm-utils-common = { workspace = true, optional = true }
concat-kdf = { workspace = true, optional = true }
gdbstub = { workspace = true, optional = true }
gdbstub_arch = { workspace = true, optional = true }
igvm_defs = { workspace = true, features = ["unstable"] }
intrusive-collections.workspace = true
kbs-types = { workspace = true, optional = true, features = ["alloc"] }
log = { workspace = true, features = ["max_level_info", "release_max_level_info"] }
packit.workspace = true
libtcgtpm = { workspace = true, optional = true }
rustc-demangle = { workspace = true }
serde = { workspace = true, optional = true, features = ["alloc", "derive"] }
serde_json = { workspace = true, optional = true, features = ["alloc"] }
zerocopy = { workspace = true, features = ["alloc", "derive"] }
release.workspace = true
# Need "force-soft", see https://github.com/RustCrypto/hashes/issues/446
sha2 = { workspace = true, features = ["force-soft"] }
uuid.workspace = true
safe-mmio = { workspace = true, optional = true }
virtio-drivers = { workspace = true, optional = true }
virtfw-libefi = { workspace = true, optional = true }
virtfw-varstore = { workspace = true, optional = true }

verus_builtin = { workspace = true, optional = true }
verus_builtin_macros = { workspace = true, optional = true }
vstd = { workspace = true, optional = true}
verify_proof = { workspace = true, optional = true}
verify_external = { workspace = true, optional = true}
verus_stub = { workspace = true }
zeroize = { workspace = true, features = ["alloc", "derive"] }

[target."x86_64-unknown-none".dev-dependencies]
test.workspace = true

[features]
attest = ["vsock", "dep:aes-kw", "dep:cocoon-tpm-crypto", "dep:cocoon-tpm-tpm2-interface", "dep:cocoon-tpm-utils-common", "dep:concat-kdf", "dep:kbs-types", "dep:libaproxy", "dep:serde", "dep:serde_json"]
attest-serial = ["attest"]

default = []
enable-gdb = ["dep:gdbstub", "dep:gdbstub_arch"]
vtpm = ["dep:libtcgtpm"]
nosmep = []
nosmap = []
verus_all = ["verus_builtin", "verus_builtin_macros", "vstd", "verify_proof/verus", "verify_external/verus", "verus_stub/disable"]
verus = ["verus_all", "verify_proof/noverify", "verify_external/noverify"]
noverify = []
virtio-drivers = ["dep:virtio-drivers", "dep:safe-mmio"]
block = []
vsock = []
uefivars = ["dep:virtfw-varstore", "dep:virtfw-libefi"]
secureboot = ["uefivars"]

[dev-dependencies]
sha2 = { workspace = true, features = ["force-soft"] }

[build-dependencies]
rustc_version = "0.4"

[package.metadata.verus]
verify = true

[lints]
workspace = true