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