kernel/fiasco/src/kern/arm/__main.cpp

   1 INTERFACE [arm]:
   2
   3 #include "types.h"
   4
   5 //-------------------------------------------------------------------------
   6 IMPLEMENTATION [arm]:
   7
   8 #include <cstdlib>
   9 #include <cstdio>
  10 #include <construction.h>
  11 #include "terminate.h"
  12
  13 void kernel_main(void);
  14
  15 extern "C"
  16 void __main()
  17 {
  18   atexit(&static_destruction);
  19   static_construction();
  20   kernel_main();
  21   terminate(0);
  22 }