Add missing config options for gfx and kbd.

[bertos.git] / kern / proc.h

diff --git a/kern/proc.h b/kern/proc.h
index 22942d4c32ac7f72e3aca7c39c247233872014f3..8378b1332c8a6265a6484b8cba0d13a97d3b332d 100755 (executable)
--- a/kern/proc.h
+++ b/kern/proc.h
@@ -3,7 +3,7 @@
  * <!--
  * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
  * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
- * This file is part of DevLib - See devlib/README for information.
+ * This file is part of DevLib - See README.devlib for information.
  * -->
  *
  * \brief Process scheduler (public interface).
@@ -15,6 +15,12 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.10  2005/11/04 16:20:02  bernie
+ *#* Fix reference to README.devlib in header.
+ *#*
+ *#* Revision 1.9  2005/04/11 19:10:28  bernie
+ *#* Include top-level headers from cfg/ subdir.
+ *#*
  *#* Revision 1.8  2004/11/16 22:37:14  bernie
  *#* Replace IPTR with iptr_t.
  *#*
@@ -35,9 +41,9 @@
 #ifndef KERN_PROC_H
 #define KERN_PROC_H
 
-#include "compiler.h"
-#include "cpu.h"
-#include "config_kern.h"
+#include <cfg/compiler.h>
+#include <cfg/cpu.h>
+#include <cfg/config_kern.h>
 
 /* Fwd decl */
 struct Process;