Gregory Nutt 9e25d89223 Squashed commit of the following: ...

Replace all usage kill() in the OS proper with nxsig_kill().

    sched/signal:  Add nxsig_kill() which is functionally equivalent to kill() except that it does not modify the errno variable.

2017-10-07 08:22:18 -06:00

..

Make.defs

…

paging.h

Remove some empty file section section header comments

2016-02-17 17:38:39 -06:00

pg_miss.c

Squashed commit of the following:

2017-10-07 08:22:18 -06:00

pg_worker.c

Squashed commit of the following:

2017-10-07 08:22:18 -06:00