| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-07 | header cleanup | rlfnb |
| 2015-09-17 | Improve asynsend support for process swapping | David van Moolenbroek |
| 2015-09-16 | kernel: Handle IPC properly at live update time. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Inherit allowed memory, IRQ & I/O ranges | Cristiano Giuffrida |
| 2015-09-16 | kernel: Allow kernel calls to return ENOTREADY. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Add support for IPC filters. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Add SYS_PRIV_CLEAR_IPC_REFS support. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Extend the sys_whoami() interface. | Cristiano Giuffrida |
| 2015-09-16 | kernel: Extend the sys_statectl() interface. | Cristiano Giuffrida |
| 2014-11-10 | Turn PCI into a character driver | Lionel Sambuc |
| 2014-07-31 | New sources layout | Lionel Sambuc |
