2 # Prex configuration file
8 CONFIG_HZ=1000 # Ticks/second of the clock
9 CONFIG_TIME_SLICE=50 # Context switch ratio (msec)
10 CONFIG_PAGE_SIZE=4096 # Physical/logical page size
11 CONFIG_OPEN_MAX=16 # Max open files per process
12 CONFIG_BUF_CACHE=64 # Blocks for buffer cache
13 CONFIG_FS_THREADS=1 # Number of file system threads
18 CONFIG_MMU=y # Memory management unit
19 CONFIG_CACHE=y # Cache memory
20 CONFIG_FPU=n # Floating point unit
21 CONFIG_XIP=n # Execution in place
22 CONFIG_LITTLE_ENDIAN=y # Byte order
23 CONFIG_BIG_ENDIAN=n # Byte order
24 CONFIG_ROM_BOOT=n # Boot from ROM
29 CONFIG_KEYBOARD=m # Keyboard
30 CONFIG_CONSOLE=m # Console
31 CONFIG_FDD=m # Floppy disk drive
32 CONFIG_MOUSE=m # Mouse
33 CONFIG_RTC=m # Real time clock
34 CONFIG_RAMDISK=m # RAM disk
39 CONFIG_PM=m # Power management support
40 CONFIG_PM_POWERSAVE=y # Power policy: Battery optimized
41 CONFIG_PM_PERFORMANCE=n # Power policy: Parformance optimized
42 CONFIG_CPUFREQ=y # CPU frequency control
43 CONFIG_DVS_EMULATION=y # Dynamic voltage scaling emulation
48 CONFIG_FS=y # File system support
49 CONFIG_DEVFS=y # Device file system
50 CONFIG_RAMFS=y # RAM file system
51 CONFIG_ARFS=y # Archive file system
56 CONFIG_DIAG_SCREEN=y # Diagnostic via screen
57 CONFIG_DIAG_BOCHS=n # Diagnostic via Bochs emulater
62 CONFIG_KDUMP=y # Kernel dump
63 CONFIG_DMESG=y # Enable ring buffer for diagnostic message
64 CONFIG_KTRACE=n # Kernel function trace
65 CONFIG_GDB=n # GDB stub
66 CONFIG_DEBUG_VM=n # Debug virtual memory allocator
67 CONFIG_DEBUG_PAGE=n # Debug page allocator
68 CONFIG_DEBUG_KMEM=n # Debug kernel memory allocator
69 CONFIG_MIN_MEMORY=y # Test under limited memory size