Files
genode/dde_linux/lib/mk/platform_panda