4 // FIXME: Autogenerate, with dependencies tracked on specific options,
5 // and the ability to test options in makefiles
9 // CONF_option: General options
11 #define CONF_SMP false
13 // CONF_IO_option: Devices and I/O
15 #define CONF_IO_IRQ_I8259 true
17 // CONF_MEM_option: Memory management
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.
23 #define CONF_MEM_MAX_PAGE_ALLOC_BITS 10
25 // CONF_DEBUG_option: Debugging
27 #define CONF_DEBUG_SPINLOCKS 1
29 // _UTIL_option: options for the util header library
31 #define _UTIL_ASSERT_LEVEL 1