seL4/include
Adrian Danis 29695d2636 x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64
Introduces a kernel option that, when enabled, reduces the kernel window in a user address
space to just be Static Kernel Image and Microstate (SKIM), instead of the full kernel
address space. This isolates the important kernel data from the user preventing a
Meltdown style attack being able to violate secrecy. The kernel text and read only data,
i.e. anything that is static from boot, is not secret and can be allowed in the SKIM window
and potentially read by the user. Additionally to switch to and from the actual kernel
address space a small amount of state needs to also be in the SKIM window.

This is only an implementation for x86-64, although the same design is applicable to ia32
2018-01-17 16:38:52 +11:00
..
32/mode Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
64/mode Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
api Add CONFIG_ to syscall.c and add missing include file 2017-11-28 14:24:40 +11:00
arch x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64 2018-01-17 16:38:52 +11:00
benchmark Move timestamp_t definition to types.h 2017-11-28 10:13:49 +11:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Abstractly declare a threads registers have changed 2017-12-13 12:09:14 +11:00
machine Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
model Move PAD_TO_NEXT_CACHE_LN to util.h 2018-01-09 10:10:16 +11:00
object x64: Declare virtual addresses as 48-bits instead of 49-bits 2017-12-19 16:13:08 +11:00
plat x86: Separate header for TLB bitmap definitions 2018-01-16 14:51:26 +11:00
smp ARM/SMP: Re-implement atomic exchange taking sel4 IPI into account 2017-11-23 14:35:54 +11:00
api.h
assert.h Add unverified_compile_assert 2017-05-04 11:13:31 +10:00
basic_types.h
bootinfo.h
compound_types.h
config.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
linker.h x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64 2018-01-17 16:38:52 +11:00
machine.h
Makefile Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
object.h
stdarg.h
stdint.h Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
string.h
types.h
util.h Implement UL_CONST macro for assembly and C 2018-01-09 14:13:41 +11:00