Config Class Reference

#include <config.h>

List of all members.

Public Types
enum	{ SERIAL_ESC_IRQ = 2, SERIAL_ESC_NOIRQ = 1, SERIAL_NO_ESC = 0 }
enum	{   Kip_syscalls = 0, Small_spaces = 0, Assembler_ipc_shortcut = 0, Have_frame_ptr = 1,   Mapdb_ram_only = 1, Log_kernel_page_faults = 0, Jdb_logging = 0, Jdb_accounting = 0,   Multi_irq_attach = 0 }
enum	{ Abi_v2 = 1 }
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 }
enum	{ Tbuf_irq = 16, Vkey_irq = 17 }
Static Public Member Functions
static void	init ()
static void	init_arch ()
static const unsigned	max_threads ()
Static Public Attributes
static const char *const	kernel_warn_config_string
static const unsigned	kernel_version_id = 0x01004444
static const Mword	thread_block_size = THREAD_BLOCK_SIZE
static const bool	conservative = false
static const bool	monitor_page_faults = conservative
static const bool	deceit_bit_disables_switch = false
static const bool	fine_grained_cputime = false
static bool	irq_ack_in_kernel = false
static bool	esc_hack = false
static unsigned	tbuf_entries = 1024
static const bool	profiling = false
static const bool	stack_depth = false
static const int	profiling_rate = 100
static const int	profile_irq = 0
static const unsigned	kernel_prio = 0
static const unsigned	kernel_mcp = 255
static const unsigned	sigma0_prio = 0x10
static const unsigned	sigma0_mcp = 0
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
static const unsigned	kernel_mem_per_cent = 8
static const unsigned	kernel_mem_max = 60 << 20
static int	serial_esc
static const bool	backward_compatibility = true
static const bool	enable_io_protection = false
static const bool	getchar_does_hlt = false
static bool	getchar_does_hlt_works_ok = false
static bool	apic = false
static const bool	watchdog = false
static const bool	hlt_works_ok = true
static const bool	pic_prio_modify = true
static const bool	kinfo_timer_uses_rdtsc = false
static const unsigned	default_console_uart = 2
static const unsigned	default_console_uart_baudrate = 115200
static char const	char_micro = '\346'
static bool	found_vmware = false

---

Member Enumeration Documentation

anonymous enum

Enumeration values: SERIAL_ESC_IRQ  SERIAL_ESC_NOIRQ  SERIAL_NO_ESC

anonymous enum

Enumeration values: Kip_syscalls  Small_spaces  Assembler_ipc_shortcut  Have_frame_ptr  Mapdb_ram_only  Log_kernel_page_faults  Jdb_logging  Jdb_accounting  Multi_irq_attach

anonymous enum

Enumeration values: Abi_v2

anonymous enum

Enumeration values: PAGE_SHIFT  PAGE_SIZE  PAGE_MASK  SUPERPAGE_SHIFT  SUPERPAGE_SIZE  SUPERPAGE_MASK  Max_num_irqs  Max_num_dirqs  Irq_shortcut

anonymous enum

Enumeration values: SCHED_PIT  SCHED_RTC  SCHED_APIC

anonymous enum

Enumeration values: Tbuf_irq  Vkey_irq

---

Member Function Documentation

FIASCO_INIT void Config::init (   )  [static]

FIASCO_INIT void Config::init_arch (   )  [static]

unsigned const Config::max_threads (   )  [inline, static]

---

Member Data Documentation

bool Config::apic = false [static]

const bool Config::backward_compatibility = true [static]

const L4_uid Config::boot_id [static]

const unsigned Config::boot_mcp = 255 [static]

const unsigned Config::boot_prio = 0x10 [static]

const unsigned Config::boot_taskno = 4 [static]

char const Config::char_micro = '\346' [static]

const bool Config::conservative = false [static]

const bool Config::deceit_bit_disables_switch = false [static]

const unsigned Config::default_console_uart = 2 [static]

const unsigned Config::default_console_uart_baudrate = 115200 [static]

const bool Config::enable_io_protection = false [static]

bool Config::esc_hack = false [static]

const bool Config::fine_grained_cputime = false [static]

bool Config::found_vmware = false [static]

const bool Config::getchar_does_hlt = false [static]

bool Config::getchar_does_hlt_works_ok = false [static]

const bool Config::hlt_works_ok = true [static]

bool Config::irq_ack_in_kernel = false [static]

const L4_uid Config::kernel_id [static]

const unsigned Config::kernel_mcp = 255 [static]

const unsigned Config::kernel_mem_max = 60 << 20 [static]

const unsigned Config::kernel_mem_per_cent = 8 [static]

const unsigned Config::kernel_prio = 0 [static]

const unsigned Config::kernel_taskno = 0 [static]

const unsigned Config::kernel_version_id = 0x01004444 [static]

const char *const Config::kernel_warn_config_string [static]

const bool Config::kinfo_timer_uses_rdtsc = false [static]

const bool Config::monitor_page_faults = conservative [static]

const bool Config::pic_prio_modify = true [static]

const int Config::profile_irq = 0 [static]

const bool Config::profiling = false [static]

const int Config::profiling_rate = 100 [static]

int Config::serial_esc [static]

const L4_uid Config::sigma0_id [static]

const unsigned Config::sigma0_mcp = 0 [static]

const unsigned Config::sigma0_prio = 0x10 [static]

const unsigned Config::sigma0_taskno = 2 [static]

const bool Config::stack_depth = false [static]

unsigned Config::tbuf_entries = 1024 [static]

const Mword Config::thread_block_size = THREAD_BLOCK_SIZE [static]

const int Config::warn_level = CONFIG_WARN_LEVEL [static]

const bool Config::watchdog = false [static]

---

The documentation for this class was generated from the following files:

• config.h
• config-ia32.cc
• config.cc

---