rel4_kernel/Cargo.toml.virtual at master · reL4team2/rel4_kernel · 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
[workspace]
resolver = "2"
members = [
    "kernel",
    "sel4_common",
    "sel4_cspace",
    "sel4_ipc",
    "sel4_task",
    "sel4_vspace",
    "serial-frame",
    "serial-impl/pl011",
    "serial-impl/sbi",
]
[profile.release]
lto = true

[patch.'https://github.com/reL4team2/serial-frame.git']
serial-frame = { path = "serial-frame" }
[patch.'https://github.com/reL4team2/serial-impl-pl011.git']
serial-impl-pl011 = { path = "serial-impl/pl011" }
[patch.'https://github.com/reL4team2/serial-impl-sbi.git']
serial-impl-sbi = { path = "serial-impl/sbi" }
[patch.'https://github.com/reL4team2/sel4_common.git']
sel4_common = { path = "sel4_common" }
[patch.'https://github.com/reL4team2/sel4_cspace.git']
sel4_cspace = { path = "sel4_cspace" }
[patch.'https://github.com/reL4team2/sel4_ipc.git']
sel4_ipc = { path = "sel4_ipc" }
[patch.'https://github.com/reL4team2/sel4_task.git']
sel4_task = { path = "sel4_task" }
[patch.'https://github.com/reL4team2/sel4_vspace.git']
sel4_vspace = { path = "sel4_vspace" }