irq.c File Reference

Process scheduler (public interface). More...

#include "irq.h"
#include <cfg/module.h>
#include <kern/proc_p.h>
#include <kern/proc.h>
#include <cfg/cfg_kern.h>
#include <unistd.h>

Go to the source code of this file.

---

Detailed Description

Process scheduler (public interface).

Version:

Id

proc.h 1646 2008-08-17 13:49:48Z bernie

Author:

Bernie Innocenti <bernie@codewiz.org>

Still in development, disable nightly test for now

Definition in file irq.c.