Documentation for embedded C+Rust debugging