Matthias-Raudonis

Fixed: - Allowing Coremark score to be printed by disabling HAS_FLOAT, because syscalls.c does not support float printf. - Allowing user to define the bare-metal core frequency to reduce execution...