portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
2870 commits 1 branch 42 tags 18 MiB
Commit graph

5 commits

Author SHA1 Message Date
Anna Lyons
761006e03b style: consistently align pointer with name 
Run astyle with align-pointer=name
 2019-03-19 14:04:54 +11:00
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
Anna Lyons
d93699c9a3 SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling 2016-01-11 11:16:08 +11:00
Adrian Danis
0ecff9f393 unsigned int -> word_t 2015-12-10 10:45:21 +11:00
TrusthworthySystems
91b7da8625 Release snapshot 2014-07-18 05:03:59 +10:00