Jenkins: build the kernel last
[akaros.git] / tools / jenkins / config /
2014-05-05 alfongjAdded jenkins testing infrastructure.