Files
genode/base-foc/lib