portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/libsel4/include
History
Adrian Danis 31628d9a58 Remove recycle 
Removes the recycle operation and adds an operation
to cancel any badged sends on and endpoint. Calling
Revoke + CancelBadgedSend is equivalent to Recycle
on a badged endpoint
2016-11-18 14:10:01 +11:00
..
api Merge pull request #410 in SEL4/sel4 from ~ALYONS/sel4:cache to master 2016-10-28 04:21:25 +00:00
interfaces Remove recycle 2016-11-18 14:10:01 +11:00
sel4 libsel4: Reorder bootinfo struct 2016-11-14 08:58:18 +11:00