Startup code. More...
#include <rtems/counter.h>
#include <bsp.h>
#include <bsp/bootcard.h>
#include <bsp/irq-generic.h>
Startup code.