RTEMS
5.1
|
Global BSP definitions. More...
#include <bspopts.h>
#include <bsp/default-initial-extension.h>
#include <bsp/start.h>
#include <rtems.h>
Go to the source code of this file.
Functions | |
void | arm_generic_timer_get_config (uint32_t *frequency, uint32_t *irq) |
BSP_START_TEXT_SECTION void | bsp_xen_setup_mmu_and_cache (void) |
Global BSP definitions.