History log of /seL4-camkes-master/kernel/configs/RISCV64_MCS_verified.cmake
Revision Date Author Comments
# 780441a1 05-Aug-2020 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

riscv: add config for MCS verification

Signed-off-by: Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>