/* Run all early native_posix initialization steps, including command line parsing and CPU start, until we are ready to let the HW models run via hwm_one_event()  */
void posix_init(int argc, char *argv[])
/* Run all early native_posix initialization steps, including command line parsing and CPU start, until we are ready to let the HW models run via hwm_one_event()  */
void posix_init(int argc, char *argv[])
{
	setvbuf(stdout, NULL, _IOLBF, 512);
	setvbuf(stderr, NULL, _IOLBF, 512);
	run_native_tasks(_NATIVE_PRE_BOOT_1_LEVEL);
	native_handle_cmd_line(argc, argv);
	run_native_tasks(_NATIVE_PRE_BOOT_2_LEVEL);
	hwm_init();
	run_native_tasks(_NATIVE_PRE_BOOT_3_LEVEL);
	posix_boot_cpu();
	run_native_tasks(_NATIVE_FIRST_SLEEP_LEVEL);
}