° verify that libopencm3 has been generated with correct rtos hardfloat abi