Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Panda
seL4test manifest
Commits
2bee79e9
Commit
2bee79e9
authored
Jun 11, 2021
by
Bamboo
Browse files
Release 12.1.0: Updating default.xml
Change-Id: Ide910be2457e50ba9b49baee9771032e14c9773f
parent
7805daac
Changes
1
Hide whitespace changes
Inline
Side-by-side
default.xml
View file @
2bee79e9
...
...
@@ -15,7 +15,7 @@
<project
name=
"musllibc.git"
path=
"projects/musllibc"
revision=
"c7aa943a2ad4fccaccf52a1f957bf8860f57f5b0"
upstream=
"sel4"
dest-branch=
"sel4"
/>
<project
name=
"nanopb"
path=
"tools/nanopb"
remote=
"nanopb"
revision=
"847ac296b50936a8b13d1434080cef8edeba621c"
upstream=
"master"
/>
<project
name=
"opensbi"
path=
"tools/opensbi"
remote=
"opensbi"
revision=
"a98258d0b537a295f517bbc8d813007336731fa9"
/>
<project
name=
"seL4.git"
path=
"kernel"
revision=
"
7b0602c5f724d888ba20c6ee9a61cd87e27c9906
"
upstream=
"master"
dest-branch=
"master"
/>
<project
name=
"seL4.git"
path=
"kernel"
revision=
"
21c1a2ca7a9786d1297e1ff0a132bc57eeb55530
"
upstream=
"master"
dest-branch=
"master"
/>
<project
name=
"seL4_libs.git"
path=
"projects/seL4_libs"
revision=
"9c0d209d67adda2558db28f5abbae994770d0340"
upstream=
"master"
dest-branch=
"master"
/>
<project
name=
"seL4_tools.git"
path=
"tools/seL4"
revision=
"c09dea9af4908ed0ef05d085ae85eda19dfae5dd"
upstream=
"master"
dest-branch=
"master"
>
<linkfile
src=
"cmake-tool/init-build.sh"
dest=
"init-build.sh"
/>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment