Curtis Millar fd83c0a3eb Replace IPC_BUF_GLOBALS_FRAME with KERNEL_GLOBALS_FRAME ... The globals frame no longer serves its original purpose of informing a thread of its IPC buffer address, and instead as a virtual implementation of thread ID registers.		2019-07-01 11:00:18 +10:00
..
arch_include	Fix RISC-V registers to reflect calling convention	2019-07-01 10:46:46 +10:00
include	Remove platform IPC buffer register.	2019-07-01 10:46:46 +10:00
mode_include	Rename shared_types*.bf files to be consistent	2019-03-21 12:43:43 +11:00
sel4_arch_include	Replace IPC_BUF_GLOBALS_FRAME with KERNEL_GLOBALS_FRAME	2019-07-01 11:00:18 +10:00
sel4_plat_include	RISCV: Add Hifive unleashed platform	2019-06-26 15:11:47 +10:00
src	Remove platform IPC buffer register.	2019-07-01 10:46:46 +10:00
tools	RFC-3: Update context for x86 to use FS and GS.	2019-07-01 10:46:46 +10:00
CMakeLists.txt	style: use consistent styling for all cmake files	2019-03-22 11:52:06 +11:00