diff --git a/src/etc/etc.armv7/Makefile.inc b/src/etc/etc.armv7/Makefile.inc
index 71554fbb..f27840ff 100644
--- a/src/etc/etc.armv7/Makefile.inc
+++ b/src/etc/etc.armv7/Makefile.inc
@@ -1,6 +1,6 @@
-#	$OpenBSD: Makefile.inc,v 1.10 2015/06/29 04:52:34 jsg Exp $
+#	$OpenBSD: Makefile.inc,v 1.11 2015/07/17 17:02:52 jsg Exp $
 
-ALLSOC=IMX OMAP SUNXI VEXPRESSA9 VEXPRESSA15
+ALLSOC=EXYNOS IMX OMAP SUNXI VEXPRESSA9 VEXPRESSA15
 MDEXT=		bsd.rd
 
 .for SOC in ${ALLSOC}
@@ -13,6 +13,7 @@ KERNADDR_IMX=0x10300000
 KERNADDR_SUNXI=0x40300000
 KERNADDR_VEXPRESSA15=0x80300000
 KERNADDR_VEXPRESSA9=0x60300000
+KERNADDR_EXYNOS=0x40300000
 
 bootblocks: