Ticket #856: Makefile.config

#########################################
## AUTO-GENERATED FILE, DO NOT EDIT!!! ##
## Generated by: tools/config.py       ##
#########################################

# Platform
PLATFORM = amd64

# CPU type
PROCESSOR = opteron

# Kernel memory model
MEMORY_MODEL = kernel

# RAM disk format
RDFMT = ext4fs

# Kernel architecture
KARCH = amd64

# User space architecture
UARCH = amd64

# Boot architecture
BARCH = amd64

# Compiler
COMPILER = gcc_cross

# Fences
CONFIG_FENCES_P4 = y

# IOMAP bitmap support
CONFIG_IOMAP_BITMAP = y

# ACPI support
CONFIG_ACPI = y

# Hierarchical page tables support
CONFIG_PAGE_PT = y

# Multiboot standard support
CONFIG_MULTIBOOT = y

# FPU support
CONFIG_FPU = y

# Support for SMP
CONFIG_SMP = y

# Debug build
CONFIG_DEBUG = y

# Early debugging print
CONFIG_DEBUG_EARLY_PRINT = n

# Sanitize undefined behavior (userspace)
CONFIG_UBSAN = n

# Sanitize undefined behavior (kernel)
CONFIG_UBSAN_KERNEL = n

# Track owner for futexes in userspace.
CONFIG_DEBUG_FUTEX = y

# Deadlock detection support for spinlocks
CONFIG_DEBUG_SPINLOCK = y

# Lazy FPU context switching
CONFIG_FPU_LAZY = y

# Support for Intel i8259 PIC
CONFIG_I8259 = y

# Support for userspace debuggers
CONFIG_UDEBUG = y

# Kernel console support
CONFIG_KCONSOLE = y

# Kernel symbol information
CONFIG_SYMTAB = y

# Detailed kernel logging
CONFIG_LOG = n

# Kernel function tracing
CONFIG_TRACE = n

# Compile kernel tests
CONFIG_TEST = y

# Use link-time optimization
CONFIG_LTO = n

# Compress init data
CONFIG_COMPRESSED_INIT = y

# Input device class
CONFIG_HID_IN = generic

# Output device class
CONFIG_HID_OUT = generic

# PC keyboard support
CONFIG_PC_KBD = n

# Support for PL011 UART
CONFIG_PL011_UART = y

# Support for NS16550 controller (kernel console)
CONFIG_NS16550_KCON = y

# Use NS16550 controller as serial input (kernel console)
CONFIG_NS16550 = y

# Use NS16550 controller as dummy serial output (kernel console)
CONFIG_NS16550_OUT = y

# Serial line input module
CONFIG_SRLN = y

# L4Re uvmm print hypercall support
CONFIG_L4RE_UVMM_EARLY_PRINT = n

# EGA support
CONFIG_EGA = n

# Framebuffer support
CONFIG_FB = y

# Default framebuffer mode
CONFIG_BFB_MODE = 1024x768

# Default framebuffer depth
CONFIG_BFB_BPP = 16

# Window system
CONFIG_WINSYS = y

# Display double buffering
CONFIG_DISP_DOUBLE_BUF = y

# Client-side UI rendering
CONFIG_UI_CS_RENDER = y

# Window double buffering
CONFIG_WIN_DOUBLE_BUF = n

# Dynamic linking support
CONFIG_RTLD = y

# Build shared libraries
CONFIG_BUILD_SHARED_LIBS = y

# Link against shared libraries
CONFIG_USE_SHARED_LIBS = y

# Launch (devman) test drivers
CONFIG_TEST_DRIVERS = n

# Write core files
CONFIG_WRITE_CORE_FILES = n

# Include userspace unit tests (PCUT)
CONFIG_PCUT_TESTS = y

# Include PCUT self-tests
CONFIG_PCUT_SELF_TESTS = n

# Include development files (headers, libraries)
CONFIG_DEVEL_FILES = y

# Strip binaries
CONFIG_STRIP_BINARIES = n

# Strip revision information (helpful when comparing outputs)
CONFIG_STRIP_REVISION_INFO = n

# Optimization level
OPTIMIZATION = 3

# Barebone build with essential binaries only
CONFIG_BAREBONE = n

# Line debugging information
CONFIG_LINE_DEBUG = n

# Start virtual USB host controller
CONFIG_RUN_VIRTUAL_USB_HC = n

# OHCI root hub port power switching
OHCI_POWER_SWITCH = ganged

# GRUB boot loader architecture
GRUB_ARCH = efi

# Default framebuffer width
CONFIG_BFB_WIDTH = 1024

# Default framebuffer height
CONFIG_BFB_HEIGHT = 768

REVISION = 46b02cb13
TIMESTAMP_UNIX = 1674305238
TIMESTAMP = 2023-01-21 07:47:18
CONFIG_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"