Curtis Millar b6417f2150 Remove platform IPC buffer register. ... This removes the assumption that each platform sotres the IPC buffer address in a platform-specific register. The IPC buffer address is instead stored in a thread-local variable in libsel4 which must be initialised by the runtime.		2019-07-01 10:46:46 +10:00
..
interfaces	Strongly type these interface arguments	2018-12-05 10:43:40 +11:00
sel4/arch	Remove platform IPC buffer register.	2019-07-01 10:46:46 +10:00