// $Id$
-/* tab:4
+/*
* "Copyright (c) 2000-2003 The Regents of the University of California.
* All rights reserved.
*
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