#
79da0792 |
|
01-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Convert license tags to SPDX identifiers This commit also converts our own copyright headers to directly use SPDX, but leaves all other copyright header intact, only adding the SPDX ident. As far as possible this commit also merges multiple Data61 copyright statements/headers into one for consistency.
|
#
554f812d |
|
08-Nov-2016 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
mcs: scheduling context donation over ipc After this commit, threads blocked on an endpoint can recieve a scheduling context from the thread that wakes the blocked thread.
|
#
306453e3 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: set min-conditional-indent to 0 Given we use braces all the time conditional indents do not make code cleaner.
|
#
d0930f67 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently attach return type Add attach-return-type to astyle
|
#
761006e0 |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: consistently align pointer with name Run astyle with align-pointer=name
|
#
3d10ef0c |
|
18-Mar-2019 |
Anna Lyons <Anna.Lyons@data61.csiro.au> |
style: correct parenthesis padding Use astyle's unpad-paren to unpad all parentheses that are not included by pad-header, pad-oper, and pad-comma.
|
#
3df00ea4 |
|
22-Apr-2018 |
Thibaut Perami <thibaut.perami@data61.csiro.au> |
SELFOUR-6: Add GrantReply to the rights system. GrantReply is a new access right added to endpoint capabilities, which allows seL4_Call to be used on those capabilities (specifically, it allows reply caps *only* to be granted across endpoints). Prior to the addition of GrantReply, endpoint capabilities required the Grant access right, which allowed any arbitrary capabilitiy to be transferred over an endpoint. Using GrantReply, systems can now be constructed where threads using seL4_Call over an endpoint do not need to be in the same security subsystem.
|
#
7641e438 |
|
06-Mar-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Refactor logic for cap revocability in cteInsert into new function with arch case Revocability of a cap, with respect to its parent, is a general property on caps and makes sense to be abstracted. This allows for the addition of an arch case without further complicating the cteInsert function itself.
|
#
d258cb31 |
|
04-Feb-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Generic postCapDeleted definition Moves the explicit call of `deletedIRQHandler` in `emptySlot` into a new `postCapDeleted` function that is a generic function to call after a capability has been deleted. Currently `deletedCap` only implementes the IRQ case.
|
#
d8ae122c |
|
04-Feb-2018 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
Generalise finaliseCap to more than just IRQs Changes finaliseCap to return a generic definition of cleanup information that needs to be done, instead of just encoding an IRQ number. The post deletion information is encoded as a `cap_t` due to the capability type already being a union of all the possible information. Aside from providing a properly generic mechanism the motivation is to support a similar cleanup phase for I/O ports in the future.
|
#
2fea9a0f |
|
18-Jul-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-567: use seL4_CapRights_t from libsel4 This change * changes seL4_CapRights from the kernel to be seL4_CapRights_t in libsel4 * deprecates the duplicated seL4_CapRights in libsel4, which is now the bitfield generated type seL4_CapRights_t. * fixes all usages in kernel and libsel4 Impact: for verification, this will require the type to change name from cap_rights to seL4_CapRights_t. This is a breaking libsel4 API change, although most code uses seL4_AllRights or similar constants, which will not break at a source level as these constants have been updated.
|
#
31628d9a |
|
25-Oct-2016 |
Adrian Danis <Adrian.Danis@data61.csiro.au> |
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
|
#
3f9eb7c8 |
|
06-Oct-2016 |
amrzar <azarrabi@nicta.com.au> |
SELFOUR-632: implement cores non-architecture dependent structres
|
#
d93699c9 |
|
04-Jan-2016 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling
|
#
0ecff9f3 |
|
09-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
unsigned int -> word_t
|
#
2d61910e |
|
09-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Rename uint32_t -> word_t in any relevant places
|
#
6474acea |
|
03-Jun-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
Change types from uint32_t->word_t to be 32/64bit agnostic
|
#
54603123 |
|
19-Oct-2015 |
Anna Lyons <Anna.Lyons@nicta.com.au> |
SELFOUR-317: rename async endpoint to notification object, and other fallout.
|
#
fd1c946c |
|
01-Jul-2015 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Adjust -1 syntax for new Isabelle.
|
#
b0e9e468 |
|
26-Apr-2015 |
Thomas Sewell <Thomas.Sewell@nicta.com.au> |
Ghost assertions for cteDeleteOne.
|
#
91b7da86 |
|
17-Jul-2014 |
TrusthworthySystems <gatekeeper@sel4.systems> |
Release snapshot
|