Using the Rust standard library with the NuttX RTOS