Какой софт люди захотят написать для микроконтроллера, такой и заработает. Обычно это всякие GPIO, SPI, I2C, управление моторчиками. Всё, что предоставляет родной для конкретного микроконтроллера пакет программирования. Для RP2040 это pico-sdk, к примеру. А подобие Posix нужно только для упрощения, чтобы для выдачи на консоль писать обычный printf() вместо какого-нибудь WriteConsoleOutput().