forked from seL4/rust-sel4
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
164 lines (162 loc) · 6.57 KB
/
Cargo.toml
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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
#
# 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.
#
[workspace]
default-members = []
resolver = "2"
members = [
"crates/drivers/bcm2835-aux-uart",
"crates/drivers/pl011",
"crates/drivers/pl031",
"crates/drivers/sp804",
"crates/drivers/virtio/blk",
"crates/drivers/virtio/hal-impl",
"crates/drivers/virtio/net",
"crates/examples/microkit/banscii/pds/artist",
"crates/examples/microkit/banscii/pds/artist/interface-types",
"crates/examples/microkit/banscii/pds/assistant",
"crates/examples/microkit/banscii/pds/assistant/core",
"crates/examples/microkit/banscii/pds/assistant/core/test",
"crates/examples/microkit/banscii/pds/serial-driver",
"crates/examples/microkit/hello/pds/hello",
"crates/examples/microkit/http-server/pds/pl031-driver",
"crates/examples/microkit/http-server/pds/server",
"crates/examples/microkit/http-server/pds/server/core",
"crates/examples/microkit/http-server/pds/sp804-driver",
"crates/examples/microkit/http-server/pds/virtio-blk-driver",
"crates/examples/microkit/http-server/pds/virtio-net-driver",
"crates/examples/root-task/example-root-task",
"crates/examples/root-task/example-root-task-without-runtime",
"crates/examples/root-task/hello",
"crates/examples/root-task/serial-device",
"crates/examples/root-task/spawn-task",
"crates/examples/root-task/spawn-task/child",
"crates/examples/root-task/spawn-thread",
"crates/private/meta",
"crates/private/support/sel4-root-task-with-std",
"crates/private/support/sel4-simple-task/config-types",
"crates/private/support/sel4-simple-task/rpc",
"crates/private/support/sel4-simple-task/runtime",
"crates/private/support/sel4-simple-task/runtime/config/cli",
"crates/private/support/sel4-simple-task/runtime/config/types",
"crates/private/support/sel4-simple-task/runtime/macros",
"crates/private/support/sel4-simple-task/threading",
"crates/private/tests/capdl/threads/components/test",
"crates/private/tests/capdl/utcover/components/test",
"crates/private/tests/microkit/minimal",
"crates/private/tests/microkit/passive-server-with-deferred-action/pds/client",
"crates/private/tests/microkit/passive-server-with-deferred-action/pds/server",
"crates/private/tests/microkit/reset",
"crates/private/tests/microkit/unwind",
"crates/private/tests/root-task/backtrace",
"crates/private/tests/root-task/c",
"crates/private/tests/root-task/config",
"crates/private/tests/root-task/dafny/core",
"crates/private/tests/root-task/dafny/task",
"crates/private/tests/root-task/default-test-harness",
"crates/private/tests/root-task/loader",
"crates/private/tests/root-task/musl",
"crates/private/tests/root-task/panicking",
"crates/private/tests/root-task/ring-test-harness",
"crates/private/tests/root-task/tls",
"crates/private/tests/root-task/verus/core",
"crates/private/tests/root-task/verus/task",
"crates/sel4",
"crates/sel4-abstract-rc",
"crates/sel4-async/block-io",
"crates/sel4-async/block-io/fat",
"crates/sel4-async/io",
"crates/sel4-async/network",
"crates/sel4-async/network/rustls",
"crates/sel4-async/network/rustls/utils",
"crates/sel4-async/single-threaded-executor",
"crates/sel4-async/time",
"crates/sel4-async/unsync",
"crates/sel4-atomic-ptr",
"crates/sel4-backtrace",
"crates/sel4-backtrace/addr2line-context-helper",
"crates/sel4-backtrace/cli",
"crates/sel4-backtrace/embedded-debug-info",
"crates/sel4-backtrace/embedded-debug-info/cli",
"crates/sel4-backtrace/simple",
"crates/sel4-backtrace/symbolize",
"crates/sel4-backtrace/types",
"crates/sel4-bounce-buffer-allocator",
"crates/sel4-capdl-initializer",
"crates/sel4-capdl-initializer/add-spec",
"crates/sel4-capdl-initializer/core",
"crates/sel4-capdl-initializer/embed-spec",
"crates/sel4-capdl-initializer/types",
"crates/sel4-capdl-initializer/types/derive",
"crates/sel4-capdl-initializer/with-embedded-spec",
"crates/sel4-capdl-initializer/with-embedded-spec/build-env",
"crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec",
"crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate",
"crates/sel4-ctors-dtors",
"crates/sel4-dlmalloc",
"crates/sel4-driver-interfaces",
"crates/sel4-elf-header",
"crates/sel4-externally-shared",
"crates/sel4-generate-target-specs",
"crates/sel4-immediate-sync-once-cell",
"crates/sel4-immutable-cell",
"crates/sel4-initialize-tls",
"crates/sel4-kernel-loader",
"crates/sel4-kernel-loader/add-payload",
"crates/sel4-kernel-loader/config-types",
"crates/sel4-kernel-loader/embed-page-tables",
"crates/sel4-kernel-loader/embed-page-tables/runtime",
"crates/sel4-kernel-loader/payload-types",
"crates/sel4-linux-syscall-types",
"crates/sel4-logging",
"crates/sel4-microkit",
"crates/sel4-microkit/base",
"crates/sel4-microkit/driver-adapters",
"crates/sel4-microkit/macros",
"crates/sel4-microkit/message",
"crates/sel4-microkit/message/types",
"crates/sel4-mod-in-out-dir",
"crates/sel4-musl",
"crates/sel4-newlib",
"crates/sel4-one-ref-cell",
"crates/sel4-panicking",
"crates/sel4-panicking/env",
"crates/sel4-platform-info",
"crates/sel4-platform-info/types",
"crates/sel4-reset",
"crates/sel4-reset/cli",
"crates/sel4-root-task",
"crates/sel4-root-task/default-test-harness",
"crates/sel4-root-task/macros",
"crates/sel4-runtime-common",
"crates/sel4-shared-ring-buffer",
"crates/sel4-shared-ring-buffer/block-io",
"crates/sel4-shared-ring-buffer/block-io/types",
"crates/sel4-shared-ring-buffer/bookkeeping",
"crates/sel4-shared-ring-buffer/smoltcp",
"crates/sel4-stack",
"crates/sel4-sync",
"crates/sel4-sync/trivial",
"crates/sel4-synthetic-elf",
"crates/sel4-test-harness",
"crates/sel4/bitfield-ops",
"crates/sel4/bitfield-parser",
"crates/sel4/bitfield-parser/test",
"crates/sel4/build-env",
"crates/sel4/config",
"crates/sel4/config/data",
"crates/sel4/config/generic",
"crates/sel4/config/generic/types",
"crates/sel4/config/macros",
"crates/sel4/sys",
]
[patch.crates-io.ring]
git = "https://github.com/coliasgroup/ring.git"
rev = "0f749acc5d5a8310dfc3ff985df04056f497fc1b"