diff --git a/l4/conf/platforms/rpi2.conf b/l4/conf/platforms/rpi2.conf
new file mode 100644
index 00000000..1ad8f63f
--- /dev/null
+++ b/l4/conf/platforms/rpi2.conf
@@ -0,0 +1,4 @@
+PLATFORM_NAME        = "Raspberry Pi 2, Model B"
+PLATFORM_ARCH        = arm
+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 d91aee32..f351ec5b 100644
--- a/l4/pkg/bootstrap/server/src/Makefile.platform
+++ b/l4/pkg/bootstrap/server/src/Makefile.platform
@@ -31,6 +31,7 @@ SUPPORT_CC_arm-om              := platform/om.cc
 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-exynos4         := platform/exynos.cc
 SUPPORT_CC_arm-exynos5         := platform/exynos.cc
 SUPPORT_CC_arm-zedboard        := platform/zynq.cc