Inter-students notepad

bit.do/rustfest
(goes to: https://hackmd.io/ru4intliRlyJ9t8pU2F29A)

(Exported as Gist at: https://gist.github.com/eddyp/d713892775795808e3e39a25b22daf78)

Setup instructions for workshop

https://braun-embedded.com/workshop/

Workshop archive

https://braun-embedded.com/barcelona-2019-11-09.zip

Post-workshop clean up

Removed lpc8xxPost-workshop clean up

Removed lpc8xx-hal from local dir in favor of saving the relevant setup-check fixes on github fork: https://github.com/c-rustacean/lpc8xx-hal/commits/test-setup-rustfest-2019-debian