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