History log of /seL4-l4v-10.1.1/seL4/src/arch/riscv/head.S
Revision Date Author Comments
# 4b3ad785 28-Feb-2018 Hesham Almatary <hesham.almatary@unsw.edu.au>

RISC-V: Disable relaxation when loading gp
# 83ba0847 20-Feb-2018 Hesham Almatary <hesham.almatary@unsw.edu.au>

[SELFOUR-1156] RISC-V Port

Experimental release that supports both RV32 and RV64