| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-07 | header cleanup | rlfnb |
| 2016-08-05 | Various timer improvements | David van Moolenbroek |
| 2016-08-04 | Preparations for PAE support | rlfnb |
| 2016-06-18 | kernel: Update copyright year | Jacob Adams |
| 2016-01-16 | Kernel: convert K&R functions to ANSI | Dr. Florian Grätz |
| 2016-01-13 | Kernel: per-state CPU accounting | David van Moolenbroek |
| 2015-09-23 | Kernel: separate userland ABI on kernel page | David van Moolenbroek |
| 2015-09-23 | Kernel: store ARM frclock info in one structure | David van Moolenbroek |
| 2015-09-23 | Kernel: export clock information on kernel page | David van Moolenbroek |
| 2015-09-16 | vm: Separate mmap regions. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Add support for IPC filters. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Extend the sys_whoami() interface. | Cristiano Giuffrida |
| 2014-09-30 | Remove support for call profiling | David van Moolenbroek |
| 2014-09-10 | Kernel: update copyright year | David van Moolenbroek |
| 2014-09-01 | Make the kernel less chatty | Lionel Sambuc |
| 2014-07-31 | New sources layout | Lionel Sambuc |
