Fun blog series exploring porting SBCL to RISC-V: https://christophe.rhodes.io/notes/blog/posts/2018/a_trace_of_riscv_success/