From a3abad960994df8db37ff13effba01a697918dec Mon Sep 17 00:00:00 2001 From: Alexander Weidinger Date: Thu, 22 Aug 2019 18:59:31 +0200 Subject: [PATCH] Add support for Raspberry Pi 3 --- l4/conf/platforms/rpi3.conf | 4 ++++ l4/pkg/bootstrap/server/src/Makefile.platform | 1 + 2 files changed, 5 insertions(+) create mode 100644 l4/conf/platforms/rpi3.conf 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