kernel/fiasco/src/kern/koptions.cpp

   1 INTERFACE:
   2
   3 #include "koptions-def.h"
   4
   5 namespace Koptions {
   6   using namespace L4_kernel_options;
   7
   8   Options *o();
   9 };
  10
  11 IMPLEMENTATION:
  12
  13 namespace Koptions_ns
  14 {
  15   Koptions::Options o __attribute__((section(".koptions"))) =
  16     {
  17       Koptions::Magic,
  18       0,              // version
  19       0,              // flags
  20       0,              // kmemsize
  21       { 0, 0, 0, 0 }, // uart
  22       "",             // jdb_cmd
  23       0,              // tbuf_entries
  24       0,              // out_buf
  25     };
  26 }
  27
  28 namespace Koptions {
  29   Options *o() { return &Koptions_ns::o; }
  30 };