seL4/libsel4/arch_include
2015-10-13 15:08:21 +11:00
..
arm AEP -> Notification: deprecate old API syscalls, functions and constants that refer to AEP's and introduce new ones that refer to Notifications 2015-10-13 13:26:04 +11:00
x86 add seL4_NotificationBits for x86 2015-10-13 15:08:21 +11:00