Updated RISC-V boot sequence; use 8KB pages
[akaros.git] / kern / arch / riscv / ros / trapframe.h
2011-11-03 Andrew WatermanInitial commit of RISC-V architecture port