Bootstrap

./bootable/bootloader/lk/kernel/main.c

thread_resume(thread_create("bootstrap2",&bootstrap2,NULL,DEFAULT_PRIORITY,DEFAULT_STACK_SIZE));

static int bootstrap2(void *arg)
{
	dprintf(SPEW,"top of bootstrap2()\n");

	arch_init();

	// initialize the rest of the platform
	dprintf(SPEW,"initializing platform\n");
	platform_init();
	
	// initialize the target
	dprintf(SPEW,"initializing target\n");
	target_init();

	dprintf(SPEW,"calling apps_init()\n");
	apps_init();

	return 0;
}