1 /* ARM specific boot_info */
7 EXTENSION class Boot_info
10 static void set_kip(Kip *kip);
14 //---------------------------------------------------------------------------
18 #include <cstdio> // for debug printf's
20 static Kip *boot_info_kip;
23 void Boot_info::set_kip(Kip *kip)
34 extern "C" char _etext, _sstack, _stack, _edata, _end;
37 void Boot_info::init()
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();
46 Boot_info::reset_checksum_ro(void)