*
* \brief Process scheduler (public interface).
*
- * \version $Id: proc.h 1646 2008-08-17 13:49:48Z bernie $
+ * \version $Id$
* \author Bernie Innocenti <bernie@codewiz.org>
*
* Still in development, disable nightly test for now
#include <kern/proc_p.h>
#include <kern/proc.h>
-#include <cfg/cfg_kern.h>
+#include "cfg/cfg_proc.h"
#include <unistd.h> // FIXME: move POSIX stuff to irq_posix.h