| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-24 | Don't use reserved identifiers | Richard Braun | |
| 2017-02-04 | Clean up compilation | Richard Braun | |
| Instead of mixing standard headers and internal redefinitions of standard types, completely rely on the compiler for what is guaranteed for a free standing environment. This results in the removal of kern/stddef.h and kern/stdint.h. The kern/types.h header is reintroduced for the different (and saner) purpose of defining types not specified in standard C, namely ssize_t for now. | |||
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |