config.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef config_h
#define config_h

#include <globalconfig.h>
#include "config_tcbsize.h"
#include "l4_types.h"

//
// INTERFACE definition follows 
//

/*
 * Global kernel configuration
 */


// special magic to allow old compilers to inline constants

#define STRINGIFY_(x) #x
#define STRINGIFY(x) STRINGIFY_(x)

#if defined(__GNUC__)
# if defined(__GNUC_PATCHLEVEL__)
#  define COMPILER STRINGIFY(__GNUC__) "." STRINGIFY(__GNUC_MINOR__) "." STRINGIFY(__GNUC_PATCHLEVEL__)
# else
#  define COMPILER STRINGIFY(__GNUC__) "." STRINGIFY(__GNUC_MINOR__)
# endif
# define GCC_VERSION (__GNUC__ * 100 + __GNUC_MINOR__)
#else
# define COMPILER "Non-GCC"
# define GCC_VERSION 0
#endif

#define GREETING_COLOR_ANSI_OFF    "\033[0m"

class Config
{
public:

  static const char *const kernel_warn_config_string;

  enum {
    SERIAL_ESC_IRQ      = 2,
    SERIAL_ESC_NOIRQ    = 1,
    SERIAL_NO_ESC       = 0,
  };

  static void init();
  static void init_arch();

  static const unsigned max_threads();

  // global kernel configuration
  static const unsigned kernel_version_id = 0x01004444; // "DD\000\001"

  /* These constants must be defined in the arch part.
     
  // the default uart to use for serial console
  static unsigned const default_console_uart = xxx;
  static unsigned const default_console_uart_baudrate = 115200;

  */

  static const Mword thread_block_size = THREAD_BLOCK_SIZE;

  static const bool conservative = false;
  static const bool monitor_page_faults = conservative;

#ifdef CONFIG_DECEIT_BIT_DISABLES_SWITCH
  static const bool deceit_bit_disables_switch = true;
#else
  static const bool deceit_bit_disables_switch = false;
#endif
#ifdef CONFIG_FINE_GRAINED_CPUTIME
  static const bool fine_grained_cputime = true;
#else
  static const bool fine_grained_cputime = false;
#endif

  static bool irq_ack_in_kernel;
  static bool esc_hack;

  static unsigned tbuf_entries;

#ifdef CONFIG_PROFILE
  static bool profiling;
#else
  static const bool profiling = false;
#endif
#ifdef CONFIG_STACK_DEPTH
  static const bool stack_depth = true;
#else
  static const bool stack_depth = false;
#endif
  static const int profiling_rate = 100;
  static const int profile_irq = 0;

  // kernel (idle) task definitions
  static const unsigned kernel_prio = 0;
  static const unsigned kernel_mcp = 255;

  // sigma0 task definitions
  static const unsigned sigma0_prio = 0x10;
  static const unsigned sigma0_mcp = 0;

  // root (boot) task definitions
  static const unsigned boot_prio = 0x10;
  static const unsigned boot_mcp = 255;

  static const int warn_level = CONFIG_WARN_LEVEL;

  static const L4_uid kernel_id;
  static const unsigned kernel_taskno = 0;

  static const L4_uid sigma0_id; 
  static const unsigned sigma0_taskno = 2;

  static const L4_uid boot_id;
  static const unsigned boot_taskno = 4;

  enum {
#ifndef CONFIG_KIP_SYSCALLS
    Kip_syscalls = 0,
#else
    Kip_syscalls = 1,
#endif
#ifdef CONFIG_SMALL_SPACES
    Small_spaces = 1,
#else
    Small_spaces = 0,
#endif
#ifdef CONFIG_ASSEMBLER_IPC_SHORTCUT
    Assembler_ipc_shortcut = 1,
#else
    Assembler_ipc_shortcut = 0,
#endif
#ifdef CONFIG_NO_FRAME_PTR
    Have_frame_ptr = 0,
#else
    Have_frame_ptr = 1,
#endif
    Mapdb_ram_only = 1,
#ifdef CONFIG_DEBUG_KERNEL_PAGE_FAULTS
    Log_kernel_page_faults = 1,
#else
    Log_kernel_page_faults = 0,
#endif

#ifdef CONFIG_JDB_LOGGING
    Jdb_logging = 1,
#else
    Jdb_logging = 0,
#endif
#ifdef CONFIG_JDB_ACCOUNTING
    Jdb_accounting = 1,
#else
    Jdb_accounting = 0,
#endif
#ifdef CONFIG_MULTI_IRQ_ATTACH
    Multi_irq_attach = 1,
#else
    Multi_irq_attach = 0,
#endif
  };
private:

public:
  enum 
  { 
    Abi_v2 = 1,
  };
private:

public:
  // 32MB RAM => 2.5MB kmem, 128MB RAM => 16MB kmem, >=512MB RAM => 60MB kmem
  static const unsigned kernel_mem_per_cent = 8;
  static const unsigned kernel_mem_max      = 60 << 20;
private:

public:
  static int  serial_esc;
private:

public:

  enum {
    PAGE_SHIFT          = 12,
    PAGE_SIZE           = 1 << PAGE_SHIFT,
    PAGE_MASK           = ~( PAGE_SIZE - 1),

    SUPERPAGE_SHIFT     = 22,
    SUPERPAGE_SIZE      = 1 << SUPERPAGE_SHIFT,
    SUPERPAGE_MASK      = ~( SUPERPAGE_SIZE -1 ),

    Max_num_irqs        = 20,
    Max_num_dirqs       = 16,
    Irq_shortcut        = 1,
  };

  enum {
    SCHED_PIT           = 0,
    SCHED_RTC           = 1,
    SCHED_APIC          = 2,
  };
private:

public:

  enum
  {
    Tbuf_irq            = 16,
    Vkey_irq            = 17,
  };

  static const bool backward_compatibility      = true;

#ifdef CONFIG_IO_PROT
  static const bool enable_io_protection        = true;
#else
  static const bool enable_io_protection        = false;
#endif

#ifdef CONFIG_SCHED_PIT
  static const unsigned scheduler_mode          = SCHED_PIT;
  static const unsigned scheduler_irq_vector    = 0x20U;
  static const unsigned scheduler_granularity   = 1000U;
  static const unsigned default_time_slice      = 10 * scheduler_granularity;
#endif

#ifdef CONFIG_SCHED_RTC
  static const unsigned scheduler_mode          = SCHED_RTC;
  static const unsigned scheduler_irq_vector    = 0x28U;
#  ifdef CONFIG_SLOW_RTC
  static const unsigned scheduler_granularity   = 15625U;
  static const unsigned default_time_slice      = 10 * scheduler_granularity;
#  else
  static const unsigned scheduler_granularity   = 976U;
  static const unsigned default_time_slice      = 10 * scheduler_granularity;
#  endif
#endif

#ifdef CONFIG_SCHED_APIC
  static const unsigned scheduler_mode          = SCHED_APIC;
  static const unsigned scheduler_irq_vector    = 0x3dU;
#  ifdef CONFIG_ONE_SHOT
  static const bool scheduler_one_shot          = true;
  static const unsigned scheduler_granularity   = 1U;
  static const unsigned default_time_slice      = 10000 * scheduler_granularity;
#  else
  static const bool scheduler_one_shot          = false;
  static const unsigned scheduler_granularity   = 1000U;
  static const unsigned default_time_slice      = 10 * scheduler_granularity;
#  endif
#endif

#ifdef CONFIG_POWERSAVE_GETCHAR
  static const bool getchar_does_hlt = true;
#else
  static const bool getchar_does_hlt = false;
#endif

  static bool getchar_does_hlt_works_ok;
  static bool apic;

#ifdef CONFIG_WATCHDOG
  static bool watchdog;
#else
  static const bool watchdog = false;
#endif

  static const bool hlt_works_ok = true;
  static const bool pic_prio_modify = true;
#ifdef CONFIG_SYNC_TSC
  static const bool kinfo_timer_uses_rdtsc = true;
#else
  static const bool kinfo_timer_uses_rdtsc = false;
#endif

  // the default uart to use for serial console
  static const unsigned default_console_uart = 2;
  static const unsigned default_console_uart_baudrate = 115200;

  static char const char_micro;

  static bool found_vmware;
};

#define GREETING_COLOR_ANSI_TITLE  "\033[1;32m"
#define GREETING_COLOR_ANSI_INFO   "\033[0;32m"
// don't change the part "DD-L4(xx)/x86 microkernel" -- Rmgr depends on it.
#ifdef CONFIG_ARM
#define ARCH_NAME "arm"
#else
#define ARCH_NAME "x86"
#endif

#define CONFIG_KERNEL_VERSION_STRING \
  GREETING_COLOR_ANSI_TITLE "Welcome to Fiasco("CONFIG_XARCH")!\\n"             \
  GREETING_COLOR_ANSI_INFO "DD-L4("CONFIG_ABI")/" ARCH_NAME " "                 \
                           "microkernel (C) 1998-2005 TU Dresden\\n"            \
                           "Rev: " CODE_VERSION " compiled with gcc " COMPILER \
                            " for " CONFIG_IA32_TARGET                         \
  GREETING_COLOR_ANSI_OFF

//---------------------------------------------------------------------------

/* IA32 specific */


//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline unsigned const
Config::max_threads()
{
  return L4_uid::max_threads();
}

#endif // config_h

---