Custom extensions to the RISC-V opcodes for the UCB-BAR ESP project - View it on GitHub