+ * Revision 1.5 2004/07/14 14:18:09 rasky
+ * Merge da SC: Rimosso timer dentro il task, che è uno spreco di memoria per troppi task
+ *
+ * Revision 1.4 2004/07/13 19:21:28 aleph
+ * Avoid warning for unused arg when compiled without some CONFIG_KERN_xx options
+ *