forked from colored-dye/seL4_rpi4
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmanifest.txt
12 lines (12 loc) · 1.28 KB
/
manifest.txt
1
2
3
4
5
6
7
8
9
10
11
12
backup/kernel https://github.com/seL4/seL4 master dd41d4de63949e689e54844089f851425e2ab748
backup/projects/capdl https://github.com/seL4/capdl master 3fa3a1b5b57c67175d109e2fe15a42aa641ee601
backup/projects/global-components https://github.com/seL4/global-components master 908195f62996eb6211a3c053a15634dd5b1f53ba
backup/projects/musllibc https://github.com/seL4/musllibc sel4 3d6b939e8f05cb1d2a1a8c8166609bf2e652e975
backup/projects/projects_libs https://github.com/seL4/projects_libs master daa7e44e0e6f0d5c80a9167380b1b16fd1ec7549
backup/projects/seL4_libs https://github.com/seL4/seL4_libs master 2ca525429e7b4f5abbc1fc694d3aeaff5eb6e7db
backup/projects/seL4_projects_libs https://github.com/seL4/seL4_projects_libs master f376e0b907090802729b5468d80ccd8d97a83f5a
backup/projects/sel4runtime https://github.com/seL4/sel4runtime master d935dd05da0cf959e9fd0140af913dc6fdaa0221
backup/projects/sel4-tutorials https://github.com/seL4/sel4-tutorials master 359f4fd5a14eefd781d3d7793cdced0d57fa962a
backup/projects/util_libs https://github.com/seL4/util_libs master e8e30909c934436af3b06806891b30db05831776
backup/tools/camkes https://github.com/seL4/camkes-tool master d7d37df903e39c9066afeeb1b5f0dc752d4f8f7b
backup/tools/seL4 https://github.com/seL4/seL4_tools master 074a54aedcef97bfcc4ea0724a4c5d75fa311b3e