Add support for Raspberry Pi 2

Merge branch 'r79-bb_x15' into r79
2019-08-22 16:50:53 +02:00 · 2019-08-22 15:42:52 +02:00
2 changed files with 5 additions and 0 deletions
--- a/l4/conf/platforms/rpi2.conf
+++ 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
--- 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
Author	SHA1	Message	Date
Alexander Weidinger	df06490acf	Add support for Raspberry Pi 2	2019-08-22 16:50:53 +02:00
Alexander Weidinger	a01968f492	Merge branch 'r79-bb_x15' into r79	2019-08-22 15:42:52 +02:00