Files
foc/l4/conf/platforms/wand_quad.conf