xinu: Desktop/xinu_mips-1.0.2.tar/xinu_mips-1.0.2/system/xdone.c Source File

00001 
00007 /* Embedded XINU, Copyright (C) 2007.  All rights reserved. */
00008 
00009 #include <kernel.h>
00010 #include <gpio.h>
00011 
00012 extern void halt(void);
00013 
00018 void xdone(void)
00019 {
00020         kprintf("\r\n\r\nAll user processes have completed.\r\n\r\n");
00021         GPIO_CTRL_LED_OFF(GPIO_LED_CISCOWHT);
00022         halt();
00023 }