https://riscv.org/2016/06/4th-risc-v-workshop-prelim-agenda/ can you recommend any Debian lists I can cross-post this to? We are flying in some big muckety-muck from Cambridge to talk on Debian. Yes, flying! Not Hubway...