-
Damien George authored
The bare-metal port needs it and it's no longer included by default since the Makefile now uses $(PY_CORE_O).
a36c700d
The bare-metal port needs it and it's no longer included by default since the Makefile now uses $(PY_CORE_O).