portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4/arch_include
History
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
..
arm Remove platform IPC buffer register. 2019-07-01 10:46:46 +10:00
riscv Remove platform IPC buffer register. 2019-07-01 10:46:46 +10:00
x86 Remove platform IPC buffer register. 2019-07-01 10:46:46 +10:00