genode/repos/libports/lib/mk/spec/arm/avcodec.mk