config.h

Go to the documentation of this file.

#pragma once
 
#define CONFIG_INTERRUPT_STACK_PAGES 4
 
#define CONFIG_MAX_KERNEL_STACK_PAGES 100
 
#define CONFIG_MAX_USER_STACK_PAGES 100
 
#define CONFIG_MAX_FD 64
 
#define CONFIG_LOG_SERIAL true
 
#define CONFIG_MAX_NOTES 8
 
#define CONFIG_MAX_ARGC 512
 
#define CONFIG_MAX_TIME_SLICE ((CLOCKS_PER_SEC / 1000) * 50)
 
#define CONFIG_MIN_TIME_SLICE ((CLOCKS_PER_SEC / 1000) * 1)
 
#define CONFIG_MAX_RECENT_BLOCK_TIME ((CLOCKS_PER_SEC / 1000) * 10)
 
#define CONFIG_MAX_PRIORITY_BOOST 8
 
#define CONFIG_MAX_PRIORITY_PENALTY 8
 
#define CONFIG_LOAD_BALANCE_BIAS 2
 
#define CONFIG_MUTEX_MAX_SLOW_SPIN 1000
 
#define CONFIG_SCREEN_MAX_LINES 256
 
#define CONFIG_PMM_BITMAP_MAX_ADDR 0x4000000ULL
 
#define CONFIG_PROCESS_REAPER_INTERVAL (CLOCKS_PER_SEC * 1)