implementation {
int main() __attribute__ ((C, spontaneous)) {
atomic {
+ platform_bootstrap();
call Scheduler.init();
call PlatformInit.init();
while (call Scheduler.runNextTask());
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
#include <stddef.h>
#include <ctype.h>
+
typedef uint8_t bool;
enum { FALSE = 0, TRUE = 1 };
struct @atleastonce { };
struct @exactlyonce { };
+/* This platform_bootstrap macro exists in accordance with TEP
+ 107. A platform may override this through a platform.h file. */
+#include <platform.h>
+#ifndef platform_bootstrap
+#define platform_bootstrap() {}
+#endif
+
#ifndef TOSSIM
#define dbg(s, ...)
#define dbgerror(s, ...)
#define dbg_clear(s, ...)
#define dbgerror_clear(s, ...)
#endif
+