Reset code. More...
#include <bspopts.h>
#include <bsp/bootcard.h>
#include <bsp/lpc32xx.h>
Reset code.