/*!
* \file
* <!--
- * Copyright 2003, 2004 Develer S.r.l. (http://www.develer.com/)
+ * Copyright 2003, 2004, 2006 Develer S.r.l. (http://www.develer.com/)
* All Rights Reserved.
* -->
*
/*#*
*#* $Log$
+ *#* Revision 1.9 2006/02/24 00:27:35 bernie
+ *#* Enable kernel and fix Doxygen markup.
+ *#*
+ *#* Revision 1.8 2006/02/21 16:06:05 bernie
+ *#* Update copyright info.
+ *#*
*#* Revision 1.7 2006/02/17 22:28:19 bernie
*#* Add missing UART definitions.
*#*
#define CONFIG_PRINTF PRINTF_FULL
/*!
- * Multithreading kernel
+ * Multithreading kernel.
*
- * /sa config_kernel.h
+ * \sa config_kern.h
*/
-#define CONFIG_KERNEL 0
+#define CONFIG_KERNEL 1
/*!
* \name Serial driver parameters