History log of /seL4-l4v-10.1.1/seL4/src/arch/riscv/idle.c
Revision Date Author Comments
# bb302553 03-Apr-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

riscv: Correct stack setting for idle thread

This sets the idle thread to have a stack top, instead of a stack bottom, which means
it no longer needs to have a custom optimize pragma to avoid using the stack.


# aafa5942 27-Mar-2018 Adrian Danis <Adrian.Danis@data61.csiro.au>

RISCV: Place TODOs in the source


# 83ba0847 20-Feb-2018 Hesham Almatary <hesham.almatary@unsw.edu.au>

[SELFOUR-1156] RISC-V Port

Experimental release that supports both RV32 and RV64