Startup code. More...

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

Functions
uint32_t	_CPU_Counter_frequency (void)
	Returns the current CPU counter frequency in Hz. More...

CPU_Counter_ticks	_CPU_Counter_read (void)
	Returns the current CPU counter value. More...

void	bsp_start (void)

Detailed Description

Startup code.

Functions