Add support for Raspberry Pi 3

Merge branch 'r79-rpi2' into r79
2019-08-22 19:12:56 +02:00 · 2019-08-22 18:53:08 +02:00
2 changed files with 5 additions and 0 deletions
--- a/l4/conf/platforms/rpi3.conf
+++ 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
--- 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
Author	SHA1	Message	Date
Alexander Weidinger	a3abad9609	Add support for Raspberry Pi 3	2019-08-22 19:12:56 +02:00
Alexander Weidinger	1d4cf94b59	Merge branch 'r79-rpi2' into r79	2019-08-22 18:53:08 +02:00