Running Bare-Metal Rust Alongside ESP-IDF on the ESP32-S3's Second Core