seL4 Kernel
chrisguikema opened this issue · 1 comments
chrisguikema commented
The seL4 Kernel Git project doesn't have a 4.0.x-compatible branch, so when pulling the code it fails immediately.
"fatal: Couldn't find remote ref refs/heads/4.0.x-compatible"
Should be:
<project name="seL4.git" path="kernel"> <linkfile src="libsel4" dest="libs/libsel4"/> </project>
kent-mcleod commented
I believe that this was fixed in 261f8c1.