Add verified RISC-V platforms - #349

Add verified RISC-V platforms#349

lsf37 merged 2 commits into

masterseL4/docs:masterfrom

lsf37/riscv-platformsseL4/docs:lsf37/riscv-platformsCopy head branch name to clipboard