EBBR: RISC-V handoff to OS