[platform][stm32f7xx] add the sdram memory as a novm arena

platform/stm32f7xx/init.c

@@ -28,6 +28,7 @@
 #include <platform.h>
 #include <platform/stm32.h>
 #include <platform/sdram.h>
+#include <kernel/novm.h>
 #include <arch/arm/cm.h>
 
 uint32_t SystemCoreClock = HSI_VALUE;
@@ -291,6 +292,9 @@ void platform_early_init(void)
 #if defined(ENABLE_SDRAM)
     /* initialize SDRAM */
     stm32_sdram_init((sdram_config_t *)&target_sdram_config);
+
+    /* add a novm arena for it */
+    novm_add_arena("sdram", SDRAM_BASE, SDRAM_SIZE);
 #endif
 
     mpu_init();

platform/stm32f7xx/rules.mk

@@ -26,7 +26,8 @@ endif
 LK_HEAP_IMPLEMENTATION ?= miniheap
 
 GLOBAL_DEFINES += \
-	PLATFORM_SUPPORTS_PANIC_SHELL=1
+	PLATFORM_SUPPORTS_PANIC_SHELL=1 \
+    NOVM_MAX_ARENAS=2
 
 GLOBAL_INCLUDES += \
 	$(LOCAL_DIR)/include