From 4225129b6378d0ef16b07a3eb214dac439d75e4c Mon Sep 17 00:00:00 2001 From: Alexander Weidinger Date: Thu, 22 Aug 2019 13:31:55 +0200 Subject: [PATCH] Add support for Sabre Lite --- l4/conf/platforms/sabre_lite.conf | 6 ++++++ l4/pkg/bootstrap/server/src/Makefile.platform | 1 + 2 files changed, 7 insertions(+) create mode 100644 l4/conf/platforms/sabre_lite.conf diff --git a/l4/conf/platforms/sabre_lite.conf b/l4/conf/platforms/sabre_lite.conf new file mode 100644 index 00000000..f1daa04e --- /dev/null +++ b/l4/conf/platforms/sabre_lite.conf @@ -0,0 +1,6 @@ +PLATFORM_NAME = "Sabre Lite" +PLATFORM_ARCH = arm +PLATFORM_RAM_BASE = 0x10000000 +PLATFORM_RAM_SIZE_MB = 1024 +PLATFORM_UART_NR = 2 +PLATFORM_TYPE = imx6 diff --git a/l4/pkg/bootstrap/server/src/Makefile.platform b/l4/pkg/bootstrap/server/src/Makefile.platform index 531c682b..fbaa961c 100644 --- a/l4/pkg/bootstrap/server/src/Makefile.platform +++ b/l4/pkg/bootstrap/server/src/Makefile.platform @@ -23,6 +23,7 @@ SUPPORT_CC_arm-imx35 := platform/imx.cc SUPPORT_CC_arm-imx51 := platform/imx.cc SUPPORT_CC_arm-imx6 := platform/imx.cc SUPPORT_CC_arm-wand_quad := platform/imx.cc +SUPPORT_CC_arm-sabre_lite := platform/imx.cc SUPPORT_CC_arm-imx6ul := platform/imx.cc SUPPORT_CC_arm-imx7 := platform/imx.cc SUPPORT_CC_arm-om := platform/om.cc