--- flash-kernel.org	2010-11-18 18:09:22.000000000 +0100
+++ flash-kernel	2011-09-28 21:38:53.000000000 +0200
@@ -99,6 +99,7 @@
 		"Marvell OpenRD Ultimate Board")	exit 0 ;;
 		"Marvell SheevaPlug Reference Board")	exit 0 ;;
 		"Marvell eSATA SheevaPlug Reference Board")	exit 0 ;;
+		"Marvell DB-88F6281-BP Development Board")	exit 0 ;;
 		"QNAP TS-109/TS-209" | "QNAP TS-409")	exit 0 ;;
 		"QNAP TS-119/TS-219")			exit 0 ;;
 		"QNAP TS-41x")				exit 0 ;;
@@ -366,7 +367,7 @@
 		echo "done." >&2
 		rmdir "$tmpdir"
 	;;
-	"Marvell GuruPlug Reference Board" | "Marvell OpenRD Base Board" | "Marvell OpenRD Client Board" | "Marvell OpenRD Ultimate Board" | "Marvell SheevaPlug Reference Board" | "Marvell eSATA SheevaPlug Reference Board" | "Seagate FreeAgent DockStar")
+	"Marvell GuruPlug Reference Board" | "Marvell OpenRD Base Board" | "Marvell OpenRD Client Board" | "Marvell OpenRD Ultimate Board" | "Marvell SheevaPlug Reference Board" | "Marvell eSATA SheevaPlug Reference Board" | "Seagate FreeAgent DockStar" | "Marvell DB-88F6281-BP Development Board")
 		check_subarch "kirkwood"
 		tmpdir="$(mktemp -d)"
 		printf "Generating kernel u-boot image... " >&2