forked from Imagelibrary/seL4
riscv: Remove now out of date todo
This commit is contained in:
@@ -35,8 +35,6 @@ NODE_STATE_END(archNodeState);
|
||||
|
||||
extern asid_pool_t *riscvKSASIDTable[BIT(asidHighBits)];
|
||||
|
||||
// RVTODO: hardware structures are normally size aligned, use consistent definition
|
||||
// for size and alignment
|
||||
/* RISC-V has n-level page tables (depending on configured paging mode),
|
||||
* each of which is 4KiB, PTEs are of word_t size
|
||||
*/
|
||||
|
||||
Reference in New Issue
Block a user