MicroPython on RTEMS experiments

I got my embedding example to work on STM32F407VET6

I had to make this change in the stm32f4 BSP linkcmds.stm32f4 file:

diff --git a/bsps/arm/stm32f4/start/linkcmds.stm32f4 b/bsps/arm/stm32f4/start/linkcmds.stm32f4
index 1d16cfdde9..448e169276 100644
--- a/bsps/arm/stm32f4/start/linkcmds.stm32f4
+++ b/bsps/arm/stm32f4/start/linkcmds.stm32f4
@@ -1,6 +1,6 @@
 MEMORY {
        RAM_INT : ORIGIN = 0x20000000, LENGTH = 128k
-       ROM_INT : ORIGIN = 0x00000000, LENGTH = 1M
+       ROM_INT : ORIGIN = 0x08000000, LENGTH = 1M
 }

 REGION_ALIAS ("REGION_START", ROM_INT);

Something confusing to me is that the board refused to work (I was testing with a blinky earlier) with ROM size set to 512, which is the actual size of flash on this chip.

What I am focusing on next is getting serial input working so this can be an interactive prompt.

Something else I need to figure out is why I had to comment out #define CONFIGURE_UNLIMITED_OBJECTS and #define CONFIGURE_UNIFIED_WORK_AREAS in my init.c to make this example work on the board. I followed the error that followed and added a #define CONFIGURE_MAXIMUM_TASKS 1 to make it compile.