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)
	Gets the current CPU counter frequency in Hz.

CPU_Counter_ticks	_CPU_Counter_read (void)
	Gets the current CPU counter value.

void	bsp_start (void)

Detailed Description

Startup code.

Functions