Correctness

All software and driver development to be done in Rust