| 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-17 | Kernel: IPC filter support for VM memory requests | David van Moolenbroek |
| 2015-09-16 | kernel: Debug printing at live update time. | Cristiano Giuffrida |
| 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: Extend the {sys,vm}_update() interfaces. | Cristiano Giuffrida |
| 2014-07-31 | New sources layout | Lionel Sambuc |
