pic32mx470 is used at run time in 2 crates (of which 2 optionally).

Depender (with downloads and own rev deps) pic32mx470 version
4.2K 2 pic32-hal optional ^0.1.0
kiffieboot optional ^0.1.0