The preliminary 'RISC-V microcontroller profile' specs; for convenience, use markdown. - View it on GitHub