PX5 RTOS: 2 KB of Flash, 1 KB of RAM, a thousand ways to optimize your application on an STM32 MPU April 22, 2026