diff --git a/l4/conf/platforms/rpi3.conf b/l4/conf/platforms/rpi3.conf
new file mode 100644
index 00000000..a05bcc4e
--- /dev/null
+++ b/l4/conf/platforms/rpi3.conf
@@ -0,0 +1,4 @@
+PLATFORM_NAME        = "Raspberry Pi 3, Model B"
+PLATFORM_ARCH        = arm arm64
+PLATFORM_RAM_BASE    = 0x0
+PLATFORM_RAM_SIZE_MB = 992
diff --git a/l4/pkg/bootstrap/server/src/Makefile.platform b/l4/pkg/bootstrap/server/src/Makefile.platform
index f351ec5b..1cc9076a 100644
--- a/l4/pkg/bootstrap/server/src/Makefile.platform
+++ b/l4/pkg/bootstrap/server/src/Makefile.platform
@@ -32,6 +32,7 @@ SUPPORT_CC_arm-kirkwood        := platform/kirkwood.cc
 SUPPORT_CC_arm-rpi_a           := platform/rpi.cc
 SUPPORT_CC_arm-rpi_b           := platform/rpi.cc
 SUPPORT_CC_arm-rpi2            := platform/rpi.cc
+SUPPORT_CC_arm-rpi3            := platform/rpi.cc
 SUPPORT_CC_arm-exynos4         := platform/exynos.cc
 SUPPORT_CC_arm-exynos5         := platform/exynos.cc
 SUPPORT_CC_arm-zedboard        := platform/zynq.cc