It requires some minimal libc header files, with definitions and
declarations that MicroPython relies on.

The OBCP example cannot be built with Edisoft because it relies a lot
on the toolchain providing a printf function.