l4/pkg/ldscripts/generic.h

   1 #pragma once
   2
   3 #define L4_DEFINE_L4PHDRS \
   4    l4re_aux   0x60000014;
   5
   6 #define L4_DEFINE_L4PHDRS___DISABLED \
   7    stack 0x60000012 AT (__L4_STACK_ADDR__); \
   8    kip   0x60000013 AT (__L4_KIP_ADDR__); \
   9    l4re_aux   0x60000014;
  10
  11 #define L4_DEFINE_X86_KERNEL_ENTRY_SYMS \
  12    PROVIDE(__l4sys_invoke_direct = __L4_KIP_ADDR__ + 0x800); \
  13    PROVIDE(__l4sys_debugger_direct = __L4_KIP_ADDR__ + 0x900);