SPECS += genode foc