Gabriel Kaszewski
29434805a6
Snake and hello apps now use extern crate userspace_rt — no more boilerplate assembly or panic handlers in app code.
97 lines
3.4 KiB
TOML
97 lines
3.4 KiB
TOML
[workspace]
|
|
members = [
|
|
"crates/adapter-riscv",
|
|
"crates/apps/hello",
|
|
"crates/apps/snake",
|
|
"crates/domain",
|
|
"crates/elf",
|
|
"crates/init",
|
|
"crates/kernel",
|
|
"crates/platform",
|
|
"crates/server-framework",
|
|
"crates/servers/accessibility-server",
|
|
"crates/servers/alarm-server",
|
|
"crates/servers/audio-capture-server",
|
|
"crates/servers/audio-playback-server",
|
|
"crates/servers/bluetooth-server",
|
|
"crates/servers/calendar-server",
|
|
"crates/servers/camera-server",
|
|
"crates/servers/clipboard-server",
|
|
"crates/servers/contacts-server",
|
|
"crates/servers/display-server",
|
|
"crates/servers/gatekeeper",
|
|
"crates/servers/gps-server",
|
|
"crates/servers/input-server",
|
|
"crates/servers/log-server",
|
|
"crates/servers/keychain-server",
|
|
"crates/servers/media-index-server",
|
|
"crates/servers/network-server",
|
|
"crates/servers/notification-server",
|
|
"crates/servers/package-manager",
|
|
"crates/servers/permission-manager",
|
|
"crates/servers/power-server",
|
|
"crates/servers/print-server",
|
|
"crates/servers/storage-server",
|
|
"crates/servers/sync-server",
|
|
"crates/servers/telephony-server",
|
|
"crates/servers/usb-server",
|
|
"crates/servers/user-manager",
|
|
"crates/types",
|
|
"crates/userspace",
|
|
"crates/userspace-rt",
|
|
]
|
|
resolver = "2"
|
|
|
|
|
|
[workspace.dependencies]
|
|
# kernel
|
|
types = { path = "crates/types" }
|
|
domain = { path = "crates/domain" }
|
|
elf = { path = "crates/elf" }
|
|
platform = { path = "crates/platform" }
|
|
kernel = { path = "crates/kernel" }
|
|
server-framework = { path = "crates/server-framework" }
|
|
userspace = { path = "crates/userspace" }
|
|
userspace-rt = { path = "crates/userspace-rt" }
|
|
|
|
# servers
|
|
accessibility-server = { path = "crates/servers/accessibility-server" }
|
|
alarm-server = { path = "crates/servers/alarm-server" }
|
|
audio-capture-server = { path = "crates/servers/audio-capture-server" }
|
|
audio-playback-server = { path = "crates/servers/audio-playback-server" }
|
|
bluetooth-server = { path = "crates/servers/bluetooth-server" }
|
|
calendar-server = { path = "crates/servers/calendar-server" }
|
|
camera-server = { path = "crates/servers/camera-server" }
|
|
clipboard-server = { path = "crates/servers/clipboard-server" }
|
|
contacts-server = { path = "crates/servers/contacts-server" }
|
|
display-server = { path = "crates/servers/display-server" }
|
|
gatekeeper = { path = "crates/servers/gatekeeper" }
|
|
gps-server = { path = "crates/servers/gps-server" }
|
|
input-server = { path = "crates/servers/input-server" }
|
|
keychain-server = { path = "crates/servers/keychain-server" }
|
|
media-index-server = { path = "crates/servers/media-index-server" }
|
|
network-server = { path = "crates/servers/network-server" }
|
|
notification-server = { path = "crates/servers/notification-server" }
|
|
package-manager = { path = "crates/servers/package-manager" }
|
|
permission-manager = { path = "crates/servers/permission-manager" }
|
|
power-server = { path = "crates/servers/power-server" }
|
|
print-server = { path = "crates/servers/print-server" }
|
|
storage-server = { path = "crates/servers/storage-server" }
|
|
sync-server = { path = "crates/servers/sync-server" }
|
|
telephony-server = { path = "crates/servers/telephony-server" }
|
|
usb-server = { path = "crates/servers/usb-server" }
|
|
user-manager = { path = "crates/servers/user-manager" }
|
|
|
|
# apps
|
|
snake = { path = "crates/apps/snake" }
|
|
|
|
|
|
[profile.release]
|
|
strip = true
|
|
lto = true
|
|
opt-level = "z"
|
|
panic = "abort"
|
|
|
|
[profile.dev]
|
|
panic = "abort"
|