All of raspberry pi’s SDK documentation and data sheets for the pico (rp2040) are amazing. Perfect material to build an embedded engineering course around.