15 Mword offset_version_strings;
16 Mword res0; //offset_memory_descs;
22 /* the following stuff is undocumented; we assume that the kernel
23 info page is located at offset 0x1000 into the L4 kernel boot
24 image so that these declarations are consistent with section 2.9
25 of the L4 Reference Manual */
28 Mword sigma0_sp, sigma0_ip;
32 Mword sigma1_sp, sigma1_ip;
36 Mword root_sp, root_ip;
43 Mword kdebug_permission;
51 volatile Cpu_time clock;
68 Kernel_uart_info kernel_uart_info;
69 Platform_info platform_info;
72 //---------------------------------------------------------------------------
73 IMPLEMENTATION [arm && debug]:
77 Kip::debug_print_syscalls() const