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 parthasarathi.susarla@nicta.com.au www.data61.csiro.au CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61