/* xdone.c - xdone */
#include
/*------------------------------------------------------------------------
* xdone - Print system completion message as last process exits
*------------------------------------------------------------------------
*/
void xdone(void)
{
kprintf("\n\nAll user processes have completed.\n\n");
halt(); /* Halt the processor */
}