kernel/fiasco/src/kern/arm/boot_info-arch.cpp

   1 /* ARM specific boot_info */
   2
   3 INTERFACE [arm]:
   4
   5 class Kip;
   6
   7 EXTENSION class Boot_info
   8 {
   9 public:
  10   static void set_kip(Kip *kip);
  11   static Kip *kip();
  12 };
  13
  14 //---------------------------------------------------------------------------
  15 IMPLEMENTATION [arm]:
  16
  17 #include <cstring>
  18 #include <cstdio> // for debug printf's
  19
  20 static Kip *boot_info_kip;
  21
  22 IMPLEMENT
  23 void Boot_info::set_kip(Kip *kip)
  24 {
  25   boot_info_kip = kip;
  26 }
  27
  28 IMPLEMENT
  29 Kip *Boot_info::kip()
  30 {
  31   return boot_info_kip;
  32 }
  33
  34 extern "C" char _etext, _sstack, _stack, _edata, _end;
  35
  36 IMPLEMENT static
  37 void Boot_info::init()
  38 {
  39   // We save the checksum for read-only data to be able to compare it against
  40   // the kernel image later (in jdb::enter_kdebug())
  41   //saved_checksum_ro = boot_info::get_checksum_ro();
  42 }
  43
  44 PUBLIC static
  45 void
  46 Boot_info::reset_checksum_ro(void)
  47 {}