seL4/src
Adrian Danis 61df56a7f3 riscv: Remove VMNoAccess mapping type
A frame cannot be mapped without any access permissions, as this encoding is used to
represent a page table mapping.
2018-04-18 10:10:14 +10:00
..
api Add thread name to debug info for SysDebugHalt and SysDebugSnapshot 2018-03-12 12:32:01 +01:00
arch riscv: Remove VMNoAccess mapping type 2018-04-18 10:10:14 +10:00
benchmark benchmark: Use ENABLE_SMP_SUPPORT helper definition 2017-10-04 17:41:00 +11:00
config
fastpath [SELFOUR-1156] RISC-V Port 2018-04-18 10:10:14 +10:00
kernel Remove irrelavant changes from riscv commit to non riscv arch code 2018-04-18 10:10:14 +10:00
machine SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
model Correct L2 bitmap size calculation and put it in one place 2017-11-28 10:18:35 +11:00
object stricter test for max object size 2018-04-11 08:01:16 +10:00
plat riscv: fix style 2018-04-18 10:10:14 +10:00
smp SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
assert.c s/DEBUG/CONFIG_DEBUG_BUILD/ 2017-04-06 10:43:24 +10:00
config.cmake SMP: add top level migrateTCB 2017-08-23 11:19:27 +10:00
inlines.c
Makefile
string.c
util.c riscv: Move implementations into c file 2018-04-18 10:10:14 +10:00