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 "boot_info.h"
  12 #include "terminate.h"
  13
  14 void kernel_main(void);
  15
  16 extern "C"
  17 void __main()
  18 {
  19   atexit(&static_destruction);
  20   static_construction();
  21   kernel_main();
  22   terminate(0);
  23 }