Sylvain Gauthier 49d3f2202d [SMP/Debug] New syscall to send arbitrary SGIs ...

Created a new syscall, seL4_DebugSendIPI for ARM to send arbitrary SGIs
(software generated interrupts) to arbitrary cores. As SGIs are
specifically PPIs (private interrupts), this syscall effectively allows
to trigger PPIs on arbitrary cores, for debug/testing purposes.

2019-07-19 16:35:57 +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

Add syscall for setting the current TLS register.

2019-07-01 11:17:49 +10:00

sel4_plat_include

Add initial i.MX8M Mini evk 64-bit Support

2019-07-19 14:32:53 +10:00

src

Remove platform IPC buffer register.

2019-07-01 10:46:46 +10:00

tools

RFC-3: Update user context for ARM with thread IDs

2019-07-01 11:00:37 +10:00

CMakeLists.txt

style: use consistent styling for all cmake files

2019-03-22 11:52:06 +11:00