Re: [Linaro-validation] Xen lava job and vexpress-tc2 board setup