Index of /downloads/tk71/linux

	Name	Last modified	Size	Description
	Parent Directory		-
	kirkwood-tk71.dts	2017-08-10 20:00	2.4K
	linux-2.6.33-tk71.diff	2017-08-10 20:42	6.2K
	linux-2.6.38-tk71.diff	2017-08-10 20:42	9.5K
	linux-3.2-tk71.diff	2017-08-10 20:41	11K
	linux-4.12.5-tk71-defconfig	2017-08-10 20:00	4.9K
	linux-4.12.5-tk71.tar.bz2	2017-08-10 20:46	128M
	uImage-4.12.12-tk71	2017-09-12 19:33	2.8M
	uImage-4.12.5-tk71	2017-08-10 19:59	2.8M

To create a kernel uImage with appended device tree binary do:

make tk71_defconfig
make zImage
make kirkwood-tk71.dtb
cat arch/arm/boot/zImage arch/arm/boot/dts/kirkwood-tk71.dtb > zImage_w_dtb
./scripts/mkuboot.sh -A arm -O linux -C none  -T kernel -a 0x00008000 -e 0x00008000 -n 'Linux-4.12.5' -d ./zImage_w_dtb uImage-tk71

The TK71 defconfig contains the option for appended device tree since the
TK71 U-Boot does not have device tree support.