minix/minix/kernel
Cristiano Giuffrida 9e6b1315c3 kernel: Allow kernel calls to return ENOTREADY.
This is required to avoid races with safecopy() at live update time.

Change-Id: I1f3e22d40f22d94bd2b850915f9b8163a08b5616
2015-09-16 11:02:31 +00:00
..
arch kernel: Allow kernel calls to return ENOTREADY. 2015-09-16 11:02:31 +00:00
system kernel: Allow kernel calls to return ENOTREADY. 2015-09-16 11:02:31 +00:00
clock.c New sources layout 2014-07-31 16:00:30 +02: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 New sources layout 2014-07-31 16:00:30 +02: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 New sources layout 2014-07-31 16:00:30 +02: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: Add support for IPC filters. 2015-09-16 11:02:24 +00:00
Makefile Kernel: correctly set USE_ defines from Makefile 2015-08-08 16:56:37 +00:00
priv.h kernel: Allow kernel calls to return ENOTREADY. 2015-09-16 11:02:31 +00:00
proc.c kernel: Add support for IPC filters. 2015-09-16 11:02:24 +00:00
proc.h New sources layout 2014-07-31 16:00:30 +02: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: Add support for IPC filters. 2015-09-16 11:02:24 +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: Add support for IPC filters. 2015-09-16 11:02:24 +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 Fix bitcode support for kernel 2014-08-29 12:57:03 -04: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