Ticket #856: Makefile.config

File Makefile.config, 4.8 KB (added by Colin Parker, 13 months ago)
Line 
1#########################################
2## AUTO-GENERATED FILE, DO NOT EDIT!!! ##
3## Generated by: tools/config.py ##
4#########################################
5
6# Platform
7PLATFORM = amd64
8
9# CPU type
10PROCESSOR = opteron
11
12# Kernel memory model
13MEMORY_MODEL = kernel
14
15# RAM disk format
16RDFMT = ext4fs
17
18# Kernel architecture
19KARCH = amd64
20
21# User space architecture
22UARCH = amd64
23
24# Boot architecture
25BARCH = amd64
26
27# Compiler
28COMPILER = gcc_cross
29
30# Fences
31CONFIG_FENCES_P4 = y
32
33# IOMAP bitmap support
34CONFIG_IOMAP_BITMAP = y
35
36# ACPI support
37CONFIG_ACPI = y
38
39# Hierarchical page tables support
40CONFIG_PAGE_PT = y
41
42# Multiboot standard support
43CONFIG_MULTIBOOT = y
44
45# FPU support
46CONFIG_FPU = y
47
48# Support for SMP
49CONFIG_SMP = y
50
51# Debug build
52CONFIG_DEBUG = y
53
54# Early debugging print
55CONFIG_DEBUG_EARLY_PRINT = n
56
57# Sanitize undefined behavior (userspace)
58CONFIG_UBSAN = n
59
60# Sanitize undefined behavior (kernel)
61CONFIG_UBSAN_KERNEL = n
62
63# Track owner for futexes in userspace.
64CONFIG_DEBUG_FUTEX = y
65
66# Deadlock detection support for spinlocks
67CONFIG_DEBUG_SPINLOCK = y
68
69# Lazy FPU context switching
70CONFIG_FPU_LAZY = y
71
72# Support for Intel i8259 PIC
73CONFIG_I8259 = y
74
75# Support for userspace debuggers
76CONFIG_UDEBUG = y
77
78# Kernel console support
79CONFIG_KCONSOLE = y
80
81# Kernel symbol information
82CONFIG_SYMTAB = y
83
84# Detailed kernel logging
85CONFIG_LOG = n
86
87# Kernel function tracing
88CONFIG_TRACE = n
89
90# Compile kernel tests
91CONFIG_TEST = y
92
93# Use link-time optimization
94CONFIG_LTO = n
95
96# Compress init data
97CONFIG_COMPRESSED_INIT = y
98
99# Input device class
100CONFIG_HID_IN = generic
101
102# Output device class
103CONFIG_HID_OUT = generic
104
105# PC keyboard support
106CONFIG_PC_KBD = n
107
108# Support for PL011 UART
109CONFIG_PL011_UART = y
110
111# Support for NS16550 controller (kernel console)
112CONFIG_NS16550_KCON = y
113
114# Use NS16550 controller as serial input (kernel console)
115CONFIG_NS16550 = y
116
117# Use NS16550 controller as dummy serial output (kernel console)
118CONFIG_NS16550_OUT = y
119
120# Serial line input module
121CONFIG_SRLN = y
122
123# L4Re uvmm print hypercall support
124CONFIG_L4RE_UVMM_EARLY_PRINT = n
125
126# EGA support
127CONFIG_EGA = n
128
129# Framebuffer support
130CONFIG_FB = y
131
132# Default framebuffer mode
133CONFIG_BFB_MODE = 1024x768
134
135# Default framebuffer depth
136CONFIG_BFB_BPP = 16
137
138# Window system
139CONFIG_WINSYS = y
140
141# Display double buffering
142CONFIG_DISP_DOUBLE_BUF = y
143
144# Client-side UI rendering
145CONFIG_UI_CS_RENDER = y
146
147# Window double buffering
148CONFIG_WIN_DOUBLE_BUF = n
149
150# Dynamic linking support
151CONFIG_RTLD = y
152
153# Build shared libraries
154CONFIG_BUILD_SHARED_LIBS = y
155
156# Link against shared libraries
157CONFIG_USE_SHARED_LIBS = y
158
159# Launch (devman) test drivers
160CONFIG_TEST_DRIVERS = n
161
162# Write core files
163CONFIG_WRITE_CORE_FILES = n
164
165# Include userspace unit tests (PCUT)
166CONFIG_PCUT_TESTS = y
167
168# Include PCUT self-tests
169CONFIG_PCUT_SELF_TESTS = n
170
171# Include development files (headers, libraries)
172CONFIG_DEVEL_FILES = y
173
174# Strip binaries
175CONFIG_STRIP_BINARIES = n
176
177# Strip revision information (helpful when comparing outputs)
178CONFIG_STRIP_REVISION_INFO = n
179
180# Optimization level
181OPTIMIZATION = 3
182
183# Barebone build with essential binaries only
184CONFIG_BAREBONE = n
185
186# Line debugging information
187CONFIG_LINE_DEBUG = n
188
189# Start virtual USB host controller
190CONFIG_RUN_VIRTUAL_USB_HC = n
191
192# OHCI root hub port power switching
193OHCI_POWER_SWITCH = ganged
194
195# GRUB boot loader architecture
196GRUB_ARCH = efi
197
198# Default framebuffer width
199CONFIG_BFB_WIDTH = 1024
200
201# Default framebuffer height
202CONFIG_BFB_HEIGHT = 768
203
204REVISION = 46b02cb13
205TIMESTAMP_UNIX = 1674305238
206TIMESTAMP = 2023-01-21 07:47:18
207CONFIG_DEFS = -DPLATFORM=amd64 -DPLATFORM_amd64 -DPROCESSOR=opteron -DPROCESSOR_opteron -DMEMORY_MODEL=kernel -DMEMORY_MODEL_kernel -DRDFMT=ext4fs -DRDFMT_ext4fs -DKARCH=amd64 -DKARCH_amd64 -DUARCH=amd64 -DUARCH_amd64 -DBARCH=amd64 -DBARCH_amd64 -DCOMPILER=gcc_cross -DCOMPILER_gcc_cross -DCONFIG_FENCES_P4 -DCONFIG_IOMAP_BITMAP -DCONFIG_ACPI -DCONFIG_PAGE_PT -DCONFIG_MULTIBOOT -DCONFIG_FPU -DCONFIG_SMP -DCONFIG_DEBUG -DCONFIG_DEBUG_FUTEX -DCONFIG_DEBUG_SPINLOCK -DCONFIG_FPU_LAZY -DCONFIG_I8259 -DCONFIG_UDEBUG -DCONFIG_KCONSOLE -DCONFIG_SYMTAB -DCONFIG_TEST -DCONFIG_COMPRESSED_INIT -DCONFIG_HID_IN=generic -DCONFIG_HID_IN_generic -DCONFIG_HID_OUT=generic -DCONFIG_HID_OUT_generic -DCONFIG_PL011_UART -DCONFIG_NS16550_KCON -DCONFIG_NS16550 -DCONFIG_NS16550_OUT -DCONFIG_SRLN -DCONFIG_FB -DCONFIG_BFB_MODE=1024x768 -DCONFIG_BFB_MODE_1024x768 -DCONFIG_BFB_BPP=16 -DCONFIG_BFB_BPP_16 -DCONFIG_WINSYS -DCONFIG_DISP_DOUBLE_BUF -DCONFIG_UI_CS_RENDER -DCONFIG_RTLD -DCONFIG_BUILD_SHARED_LIBS -DCONFIG_USE_SHARED_LIBS -DCONFIG_PCUT_TESTS -DCONFIG_DEVEL_FILES -DOPTIMIZATION=3 -DOPTIMIZATION_3 -DOHCI_POWER_SWITCH=ganged -DOHCI_POWER_SWITCH_ganged -DGRUB_ARCH=efi -DGRUB_ARCH_efi -DCONFIG_BFB_WIDTH=1024 -DCONFIG_BFB_WIDTH_1024 -DCONFIG_BFB_HEIGHT=768 -DCONFIG_BFB_HEIGHT_768 "-DREVISION=46b02cb13" "-DTIMESTAMP_UNIX=1674305238" "-DTIMESTAMP=2023-01-21 07:47:18"