/* The HW models will call this function to "boot" the CPU == spawn the Zephyr init thread, which will then spawn anything it wants, and run until the CPU is set back to idle again  */
void posix_boot_cpu(void)
/* The HW models will call this function to "boot" the CPU == spawn the Zephyr init thread, which will then spawn anything it wants, and run until the CPU is set back to idle again  */
void posix_boot_cpu(void)
{
	nce_st = nce_init();
	posix_arch_init();
	nce_boot_cpu(nce_st, z_cstart);
}