The binary firmware may be downloaded from
http://git.kernel.org/?p=linux/kernel/git/firmware/linux-firmware.git

Samsung grants permission to use and redistribute aforementioned firmware
files for the use with Exynos series devices, but not as part of the Linux
kernel, or in any other form which would require these files themselves
to be covered by the terms of the GNU General Public License.

These firmware files are distributed in the hope that they will be
useful, but WITHOUT ANY WARRANTY; without even the implied warranty
of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.