Add binaries repo + device & kernel mako