| #
c8a9900b |
| 12-Mar-2014 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
kernel: Add support for IPC filters.
Edited by David van Moolenbroek.
Change-Id: Ia0052c42a0f218d011dd2da1e3db6c5b2107adc7
|
| #
41022be1 |
| 01-Mar-2014 |
Cristiano Giuffrida <giuffrida@cs.vu.nl> |
kernel: Extend the sys_statectl() interface.
Change-Id: Ica37640f61513db9466dacf861a8148e3fb799d5
|
| #
433d6423 |
| 28-Jul-2014 |
Lionel Sambuc <lionel@minix3.org> |
New sources layout
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
|