Fábio Coutada
62e8454f91
- make-uefi-iso.sh: UEFI ISO image builder - test_boot.S, test_boot.ld: test boot assembly and linker script - eim_config.toml: EIM (External Interface Module) configuration - edk2-ovmf RPM for UEFI firmware - GAP_ANALYSIS_PIKEOS_PARITY.md: PikeOS parity gap analysis
10 lines
309 B
C
10 lines
309 B
C
#include "uos_api.h"
|
|
#include "uos_port.h"
|
|
|
|
uint32_t SystemCoreClock = 48000000; /* Override in uos_target.h for specific MCU */
|
|
|
|
void uos_port_init(void) {
|
|
/* PendSV=0xFF, SysTick=0xFE */
|
|
UOS_SCB_SHPR3 = ((uint32_t)UOS_PENDSV_PRIO << 16) |
|
|
((uint32_t)UOS_SYSTICK_PRIO << 24);
|
|
}
|