#include <kernel.h>
#include <gpio.h>
Go to the source code of this file.
Functions | |
void | halt (void) |
void | xdone (void) |
Definition in file xdone.c.
void halt | ( | void | ) |
Referenced by xdone().
void xdone | ( | void | ) |
Print system completion message as last process exits.
Definition at line 18 of file xdone.c.
References GPIO_CTRL_LED_OFF, GPIO_LED_CISCOWHT, halt(), and kprintf().
Referenced by nulluser().