Ben Gras 804cb810d0 added a debugging functionality in system/debugging.c (to check sanity of ...

run queues) and associated prototype in system.h

2005-05-24 12:33:03 +00:00

..

clock.c

New NOTIFY system call! Queued at kernel. Duplicate messages (with same source

2005-05-24 10:06:17 +00:00

copying.c

Fixed some system call checks;

2005-05-10 11:06:24 +00:00

debugging.c

added a debugging functionality in system/debugging.c (to check sanity of

2005-05-24 12:33:03 +00:00

devio.c

Initial revision

2005-04-21 14:53:53 +00:00

irqctl.c

Intermediate update---please await next commit.

2005-05-19 09:36:44 +00:00

Makefile

*** empty log message ***

2005-05-02 14:30:04 +00:00

misc.c

*** empty log message ***

2005-05-02 14:30:04 +00:00

proctl.c

New NOTIFY trap (IPC call) to send queued notification messages.

2005-05-19 14:05:51 +00:00

sigctl.c

*** empty log message ***

2005-04-29 15:36:43 +00:00

sysctl.c

Fix to let FXP driver send messages.

2005-05-20 12:39:36 +00:00

tracing.c

*** empty log message ***

2005-04-29 15:36:43 +00:00