portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Anna Lyons a22cb3d102 mcs: associate scheduling context + ntfn 
This commit allows scheduling contexts to be bound
to notification objects. When a passive server
receives a notification it will receive the scheduling
context from the notification. When the server
blocks the scheduling context is returned.
2019-08-22 11:22:37 +10:00
..
cap.h Generalise finaliseCap to more than just IRQs 2018-02-23 10:03:50 +11:00
cnode.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
endpoint.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
interrupt.h [SMP] Abstracted IRQ indexing to handle PPIs 2019-07-19 16:37:03 +10:00
notification.h mcs: order EP and NTFN queues 2019-08-22 11:22:35 +10:00
objecttype.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
reply.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
schedcontext.h mcs: associate scheduling context + ntfn 2019-08-22 11:22:37 +10:00
schedcontrol.h mcs: Add a scheduling context object 2019-08-22 11:22:34 +10:00
structures.h mcs: associate scheduling context + ntfn 2019-08-22 11:22:37 +10:00
structures_32.bf mcs: associate scheduling context + ntfn 2019-08-22 11:22:37 +10:00
structures_64.bf mcs: associate scheduling context + ntfn 2019-08-22 11:22:37 +10:00
tcb.h mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
untyped.h style: consistently align pointer with name 2019-03-19 14:04:54 +11:00