kernel/include/kern/conf.h

   1 #ifndef _KERN_CONF_H
   2 #define _KERN_CONF_H
   3
   4 // FIXME: Autogenerate, with dependencies tracked on specific options,
   5 // and the ability to test options in makefiles
   6
   7 #include <arch/conf.h>
   8
   9 // CONF_option: General options
  10
  11 #define CONF_SMP false
  12
  13 // CONF_IO_option: Devices and I/O
  14
  15 #define CONF_IO_IRQ_I8259 true
  16
  17 // CONF_MEM_option: Memory management
  18
  19 // At most 2^max_page_alloc_bits pages can be allocated
  20 // at a time.  The default of 10 gives a maximum allocation
  21 // of 4 MiB with a page size of 4 KiB.
  22
  23 #define CONF_MEM_MAX_PAGE_ALLOC_BITS 10
  24
  25 // CONF_DEBUG_option: Debugging
  26
  27 #define CONF_DEBUG_SPINLOCKS 1
  28
  29 // _UTIL_option: options for the util header library
  30
  31 #define _UTIL_ASSERT_LEVEL 1
  32
  33 #endif