[seL4] sel4test 4.0.x.xml broken?

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. -- cmr http://octayn.net/ +16038524272