Sign in
opensecura
/
3p
/
nicta
/
cogent
/
4e62e6cf8c864bd2ba8395c342fec7bafa166f90
/
.
/
.gitmodules
blob: 6c7756737fb8453026885572de49c02994f532ad [
file
] [
log
] [
blame
]
Zilin Chen
c65c758
2016-05-02 09:53:14 +1000
[
diff
] [
blame
]
1
[
submodule
"l4v"
]
2
path
=
l4v
3
url
=
https
:
//github.com/seL4/l4v.git
Zilin Chen
4e62e6c
2016-05-02 10:01:36 +1000
[
diff
] [
blame^
]
4
[
submodule
"isabelle"
]
5
path
=
isabelle
6
url
=
https
:
//github.com/seL4/isabelle.git
