kernel.h Source File

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 (&copy;) 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