00001 /*! \file include/kernel/kernel.h 00002 * \brief Kernel generic functions. 00003 * \author Andrea Righi <drizzt@inwind.it> 00004 * \date Last update: 2004-01-23 00005 * \note Copyright (©) 2003 Andrea Righi 00006 */ 00007 00008 #ifndef KERNEL_H 00009 #define KERNEL_H 00010 00011 // --- Prototypes ----------------------------------------------------- // 00012 00013 void reboot(); 00014 void error(const byte *msg); 00015 00016 #endif