It would be nice to find a good rundown of how much of the memory safety properties are preserved at stages in the microcontroller/linux driver development.