minix/minix/servers/rs
David van Moolenbroek 20054ae93f Kernel: separate userland ABI on kernel page
Currently, the userland ABI uses a single field ('user_sp') far
into the very large 'kinfo' structure on the shared kernel
information page.  This precludes us from modifying or getting
rid of 'kinfo' in the future without breaking userland.  This
patch adds a separate 'kuserinfo' structure to the kernel
information page, with only information that is part of the
userland ABI, in an extensible manner.  Userland now uses this
field if it is present, and falls back to the old field if not.

Change-Id: Ib7b24b53a440f40a2edc28cdfa48447ac2179288
2015-09-23 12:01:15 +00:00
..
const.h RS/VM: proper preparation for multi-VM live update 2015-09-17 14:01:06 +00:00
error.c rs: New RS. 2015-09-16 15:30:48 +00:00
exec.c Kernel: separate userland ABI on kernel page 2015-09-23 12:01:15 +00:00
glo.h Annotations and tweaks for live update 2015-09-17 17:13:38 +00:00
inc.h New sources layout 2014-07-31 16:00:30 +02:00
main.c Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
Makefile rs: New RS. 2015-09-16 15:30:48 +00:00
manager.c Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
proto.h rs: Add support for RS_FI. 2015-09-17 13:29:47 +00:00
request.c Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
table.c rs: Update recovery policies for sched and mfs. 2015-09-17 13:34:59 +00:00
type.h Basic live rerandomization infrastructure 2015-09-17 17:15:03 +00:00
update.c Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
utility.c Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00