Chris Guikema 9f8d07956a riscv: Order read/writes before writing sptbr ... This instruction is required when more than one thread exists with different ASIDs. The system will lock up after the first context switch when running on hardware. Issue first noticed and fixed by Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk> Change-Id: I6eb64df6b584ff7de79c8af30b28bbc7bb234643		2018-08-09 10:43:42 +10: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	SELFOUR-1016: Require auth cap to set prio/mcp	2018-02-26 11:24:22 +11:00
arch	riscv: Order read/writes before writing sptbr	2018-08-09 10:43:42 +10:00
benchmark	Fix trivial comment typos.	2018-03-27 10:51:26 +11:00
fastpath	x64: Rearrange cnode_cap structure to improve fastpath speed	2017-01-10 16:57:57 +11:00
kernel	Define more freemem regions on all architectures except ARM	2018-04-18 10:10:14 +10: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	Refactor logic for cap revocability in cteInsert into new function with arch case	2018-04-24 14:04:46 +10:00
plat	riscv: PADDR_LOAD changed when running on the rocket-chip	2018-08-09 10:43:42 +10: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	Type wrapper for a word_t that may alias	2018-04-24 14:04:46 +10:00
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	Expose string functions in all builds	2018-04-18 10:10:14 +10:00
types.h
util.h	Remove strlen	2018-04-18 10:10:14 +10:00