extern void swap_init_nios2(void);
int alt_main(void)
{
const char *message = "(THU.CST) os is loading ...";
kprintf("%s\n\n", message);
mp_init();
pmm_init(); // init physical memory management
pmm_init_ap();
vmm_init(); // init virtual memory management
/*
* Hard, brute reset of radio core and re-init due to it being in unknown,
* unexpected, or locked state from which we cannot recover in the usual places.
* Does a full reset and re-init.
*/
static void
radiocore_hard_recovery(void)
{
printf("hardcore recovery\n");//
rf212_init();
}
