// $Id$
-/* tab:4
+/*
* "Copyright (c) 2000-2003 The Regents of the University of California.
* All rights reserved.
*
* @date January 17 2005
*/
-module RealMainP {
+module RealMainP @safe() {
provides interface Boot;
uses interface Scheduler;
uses interface Init as PlatformInit;
uses interface Init as SoftwareInit;
}
implementation {
- int main() __attribute__ ((C, spontaneous)) {
+ int main() @C() @spontaneous() {
atomic
{
/* First, initialize the Scheduler so components can post
as CPU settings, counters, etc. After the hardware is ready,
initialize the requisite software components and start
execution.*/
-
+ platform_bootstrap();
+
call Scheduler.init();
/* Initialize the platform. Then spin on the Scheduler, passing