Hello Corey, On Fri, 2017-01-06 at 00:54 -0500, Corey Richardson wrote: > It seems that the line > > <project name="seL4.git" path="kernel" revision="4.0.x-compatible"/> > > should be > > <project name="seL4.git" path="kernel" revision="4.0.0"/> > > Either that, or a tag is missing from the kernel repo. >
Thanks for letting us know about it. I fixed the tag and it should work now. Cheers, ..Partha -- Partha Susarla Kernel engineer DATA61 | CSIRO E [email protected] www.data61.csiro.au CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
