include/c++/kernel/kernel.h

   1 #ifndef _KERNEL_KERNEL_H
   2 #define _KERNEL_KERNEL_H
   3
   4 #ifdef _KERNEL
   5 #define _KERNEL_SERVER2() servers/lib/kernel
   6 #else
   7 #define _KERNEL_SERVER2() servers
   8 #endif
   9
  10 #define _KERNEL_SERVER(SERVER) <_KERNEL_SERVER2()/SERVER>
  11
  12 #endif