Age | Commit message (Expand) | Author |
---|---|---|
2018-02-24 | Don't use reserved identifiers | Richard Braun |
2017-03-04 | kern/{thread,turnstile}: implement priority inheritance | Richard Braun |
index : rbraun/x15.git | ||
The X15 microkernel | Richard Braun |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2018-02-24 | Don't use reserved identifiers | Richard Braun |
2017-03-04 | kern/{thread,turnstile}: implement priority inheritance | Richard Braun |