-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.gitmodules
60 lines (60 loc) · 2.06 KB
/
.gitmodules
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
[submodule "sel4-sys/seL4"]
path = sel4-sys/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-pc99/seL4"]
path = sel4-plat-pc99/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-sabre/seL4"]
path = sel4-plat-sabre/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-omap3/seL4"]
path = sel4-plat-omap3/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-am335x/seL4"]
path = sel4-plat-am335x/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-exynos4/seL4"]
path = sel4-plat-exynos4/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-exynos5410/seL4"]
path = sel4-plat-exynos5410/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-exynos5422/seL4"]
path = sel4-plat-exynos5422/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-exynos5250/seL4"]
path = sel4-plat-exynos5250/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-apq8064/seL4"]
path = sel4-plat-apq8064/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-wandq/seL4"]
path = sel4-plat-wandq/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-imx7sabre/seL4"]
path = sel4-plat-imx7sabre/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-zynq7000/seL4"]
path = sel4-plat-zynq7000/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-zynqmp/seL4"]
path = sel4-plat-zynqmp/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-ultra96/seL4"]
path = sel4-plat-ultra96/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-tk1/seL4"]
path = sel4-plat-tk1/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-hikey/seL4"]
path = sel4-plat-hikey/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-rpi3/seL4"]
path = sel4-plat-rpi3/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-tx1/seL4"]
path = sel4-plat-tx1/seL4
url = https://github.com/seL4/seL4.git
[submodule "sel4-plat-tx2/seL4"]
path = sel4-plat-tx2/seL4
url = https://github.com/seL4/seL4.git