This is really interesting. For me what makes the esp32 so good though is the existing esp-idf sdk - adding things such as ota update, mqtt, sntp, coredump to flash, webserver etc to a product has been so easy. Will rust support somehow include those from the existing sdk or would you need to try and find rust crates to support those things?