l4/pkg/bootstrap/server/src/ARCH-sparc/head.cc

   1 #include "support.h"
   2 #include "startup.h"
   3
   4 extern "C" void __main();
   5 void __main()
   6 {
   7   clear_bss();
   8   ctor_init();
   9   Platform_base::iterate_platforms();
  10
  11   startup(_mbi_cmdline);
  12   while(1)
  13     ;
  14 }