portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4
History
Kent McLeod c8b81c28ba libsel4: Don't use userData for storing IPC buffer 
userData is no longer needed to hold a reference to the IPC buffer. The
IPC buffer is now available as a thread local variable.
2019-08-13 15:31:11 +10:00
..
arch_include [SMP/Debug] New syscall to send arbitrary SGIs 2019-07-19 16:35:57 +10:00
include [SMP/Debug] New syscall to send arbitrary SGIs 2019-07-19 16:35:57 +10:00
mode_include Rename shared_types*.bf files to be consistent 2019-03-21 12:43:43 +11:00
sel4_arch_include aarch64: add support for 40-bit PA 2019-07-25 10:30:45 +10:00
sel4_plat_include Add initial i.MX8M Mini evk 64-bit Support 2019-07-19 14:32:53 +10:00
src libsel4: Don't use userData for storing IPC buffer 2019-08-13 15:31:11 +10:00
tools python2 --> python3 2019-08-08 10:19:24 +10:00
CMakeLists.txt python2 --> python3 2019-08-08 10:19:24 +10:00