David van Moolenbroek 594df55e53 Abstract away minix_kerninfo access ... Instead of importing an external _minix_kerninfo variable, any code using the shared kernel page should now call get_minix_kerninfo(3). Since this is the only logical name for such a function, rename the previous get_minix_kerninfo call to ipc_minix_kerninfo. Change-Id: I2e424b6fb55aa55d3da850187f1f7a0b7cbbf910		2015-09-21 15:09:04 +00:00
..
gpio	libvtreefs: API changes/extensions, part 2	2014-11-12 12:13:43 +00:00
log	Abstract away minix_kerninfo access	2015-09-21 15:09:04 +00:00
random	Make more services use stateful live update	2015-09-17 17:12:02 +00:00
Makefile	New sources layout	2014-07-31 16:00:30 +02:00
Makefile.inc	New sources layout	2014-07-31 16:00:30 +02:00