Changeset View

Standalone View

Show First 20 Lines • Show All 517 Lines • ▼ Show 20 Lines	#endif

/* Platform-specific initialisation */		/* Platform-specific initialisation */
platform_probe_and_attach();		platform_probe_and_attach();
pcpu0_init();		pcpu0_init();

/* Do basic tuning, hz etc */		/* Do basic tuning, hz etc */
init_param1();		init_param1();

		sched_instance_select();
		/* link_elf_ireloc(); */

/*		/*
* Allocate a page for the system page mapped to 0xffff0000		* Allocate a page for the system page mapped to 0xffff0000
* This page will just contain the system vectors and can be		* This page will just contain the system vectors and can be
* shared by all processes.		* shared by all processes.
*/		*/
systempage = pmap_preboot_get_pages(1);		systempage = pmap_preboot_get_pages(1);

/* Map the vector page. */		/* Map the vector page. */
▲ Show 20 Lines • Show All 126 Lines • Show Last 20 Lines