Build #263 (Aug 14, 2017 8:41:15 PM)

	No changes.
	Started by user guillermo.polito@inria.fr
	Test Result (3 failures / +3) Kernel-Tests-Test.xml.[failed-to-read] Kernel-Tests-Test.xml.[failed-to-read] Kernel-Tests-Test.xml.[failed-to-read]

Configurations