RV32I Reference [pdf] | Hacker News Reader