minix/minix/kernel
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
..
arch Kernel: separate userland ABI on kernel page 2015-09-23 12:01:15 +00:00
system Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
clock.c Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
clock.h New sources layout 2014-07-31 16:00:30 +02:00
config.h New sources layout 2014-07-31 16:00:30 +02:00
const.h vm: Separate mmap regions. 2015-09-16 11:06:17 +00:00
cpulocals.c New sources layout 2014-07-31 16:00:30 +02:00
cpulocals.h New sources layout 2014-07-31 16:00:30 +02:00
debug.c kernel: Add support for IPC filters. 2015-09-16 11:02:24 +00:00
debug.h kernel: Add support for IPC filters. 2015-09-16 11:02:24 +00:00
extract-errno.sh New sources layout 2014-07-31 16:00:30 +02:00
extract-mfield.sh New sources layout 2014-07-31 16:00:30 +02:00
extract-mtype.sh New sources layout 2014-07-31 16:00:30 +02:00
glo.h Kernel: separate userland ABI on kernel page 2015-09-23 12:01:15 +00:00
interrupt.c New sources layout 2014-07-31 16:00:30 +02:00
interrupt.h New sources layout 2014-07-31 16:00:30 +02:00
ipc.h kernel: Add support for IPC filters. 2015-09-16 11:02:24 +00:00
ipc_filter.h kernel: Add support for IPC filters. 2015-09-16 11:02:24 +00:00
kernel.h New sources layout 2014-07-31 16:00:30 +02:00
main.c Kernel: separate userland ABI on kernel page 2015-09-23 12:01:15 +00:00
Makefile Kernel: correctly set USE_ defines from Makefile 2015-08-08 16:56:37 +00:00
priv.h kernel: Handle IPC properly at live update time. 2015-09-16 11:02:53 +00:00
proc.c Kernel: delivermsg improvements 2015-09-17 13:41:09 +00:00
proc.h Kernel: delivermsg improvements 2015-09-17 13:41:09 +00:00
profile.c Remove support for call profiling 2014-09-30 12:39:03 +00:00
profile.h Remove support for call profiling 2014-09-30 12:39:03 +00:00
proto.h Kernel: export clock information on kernel page 2015-09-23 12:00:46 +00:00
smp.c New sources layout 2014-07-31 16:00:30 +02:00
smp.h New sources layout 2014-07-31 16:00:30 +02:00
spinlock.h New sources layout 2014-07-31 16:00:30 +02:00
system.c Kernel: IPC filter support for VM memory requests 2015-09-17 13:46:23 +00:00
system.h Remove support for call profiling 2014-09-30 12:39:03 +00:00
table.c New sources layout 2014-07-31 16:00:30 +02:00
type.h New sources layout 2014-07-31 16:00:30 +02:00
usermapped_data.c Kernel: separate userland ABI on kernel page 2015-09-23 12:01:15 +00:00
utility.c New sources layout 2014-07-31 16:00:30 +02:00
vm.h New sources layout 2014-07-31 16:00:30 +02:00
watchdog.c New sources layout 2014-07-31 16:00:30 +02:00
watchdog.h New sources layout 2014-07-31 16:00:30 +02:00