Мне приходится работать с некоторым (полу-) автоматическим программным обеспечением для проверки (CBMC (link) ), которое статически работает с исходниками C. Поддерживаются числа с плавающей запятой, но нет определений для всех математических...

Я извлекаю код, предназначенный для встроенной системы, которая использует математические функции из NEWLIB, и я хотел бы скомпилировать этот код с помощью Visual C++ Express Edition. Однако похоже, что часть кода внутри NEWLIB предназначена для...

Я использую встроенную металлическую систему с ARM Cortex-M3 (STM32F205). Когда я пытаюсь использовать snprintf() с числами с плавающей запятой, например: float f; f = 1.23; snprintf(s, 20, "%5.2f", f); Я забиваю мусор в s . Формат,...

Я использую gcc-arm-none-eabi 4.9 2014q4 для написания приложения для Cortex-M4. Когда приложение загружается, первый вызов _sbrk оказывается недействительным. Я реализовал _sbrk следующим образом: extern unsigned int _start_of_heap;...

Я установил цепочку инструментов на основе Windows для платы обнаружения STM32F401C, используя Eclipse CDT 4.5.1 (Mars), ARM GCC 4.9 2015q3, GnuArmEclipse-Plugin от Ливиу Ионеску, OpenOCD 0.9.0 и STM32CubeMX 4.11.0. Итак, в основном я создал проект...

Я использую stm32, который использует GNU Arm Embedded Toolchain , который использует новую библиотеку. Я добавил несколько скелетов из asn1c и столкнулся с проблемой компоновщика при использовании чисел с плавающей запятой. Ошибка...

Я использую набор инструментов arm-none-eabi с newlib, чтобы настроить таргетинг на настраиваемую плату с ARM Cortex-M0 + (в частности, MCU-on-eclipse версии набора инструментов). Я компилирую / связываю с -nostartfiles и --specs=nano.specs и...

Пытаюсь портировать RTEMS на SAME54P20A. Мне удалось сделать базовый BSP, который компилируется, и базовое приложение. Я компилирую приложение, используя ./waf configure --rtems=$HOME/rtems/5 --rtems-bsp=arm/same54p20a ./waf Но при запуске...