gistfile1.txt

CONFIG_BUILD_DEBUG=y
# CONFIG_BUILD_RELEASE is not set
CONFIG_MODULES=y
# CONFIG_ARCH_ARM is not set
CONFIG_ARCH_X64=y
# CONFIG_ARCH_ARM64 is not set
# CONFIG_ARCH_EXAMPLE is not set
CONFIG_ARCH="x64"
# CONFIG_BOOT_TASK_NOMMU_TEST is not set
CONFIG_BOOT_TASK_VM=y

#
# Servers and Applications
#

#
# <*>: autostarted / <M>: manually started from shell
#
CONFIG_BOOT_TASK="vm"

#
# vm
#
# end of vm

#
# Applications
#
# CONFIG_BENCHMARK_SERVER is not set
CONFIG_HELLO_SERVER=m

#
# Hello World
#
# CONFIG_PRINT_PERIODICALLY is not set
# end of Hello World

# CONFIG_HELLO_FROM_RUST_SERVER is not set
# CONFIG_TEST_SERVER is not set
# CONFIG_WEBAPI_SERVER is not set
# end of Applications

CONFIG_DM_SERVER=y
CONFIG_EXAMPLE_SERVER=m
# CONFIG_MINLIN_SERVER is not set
CONFIG_SHELL_SERVER=y
CONFIG_TCPIP_SERVER=y

#
# Block Drivers
#
# CONFIG_IDE_SERVER is not set
CONFIG_RAMDISK_SERVER=y
# end of Block Drivers

#
# Network Drivers
#
CONFIG_E1000_SERVER=y
CONFIG_VIRTIO_NET_SERVER=y
# end of Network Drivers

#
# File Systems
#
CONFIG_FATFS_SERVER=y
# CONFIG_TARFS_SERVER is not set
# end of File Systems
# end of Servers and Applications

#
# Common Setup (kernel and userland)
#
# CONFIG_OPT_LEVEL_0 is not set
CONFIG_OPT_LEVEL_2=y
# CONFIG_OPT_LEVEL_3 is not set
# CONFIG_OPT_LEVEL_S is not set
CONFIG_NUM_SYMBOLS=512
# end of Common Setup (kernel and userland)

#
# Kernel
#

#
# x64 Options
#
CONFIG_SEMIHOSTING=y
# CONFIG_TRACE_IPC is not set
CONFIG_IPC_FASTPATH=y
CONFIG_NUM_TASKS=64
CONFIG_TASK_NAME_LEN=16
CONFIG_ONESHOT_HEAP_SIZE=4096
CONFIG_TASK_TIME_SLICE_MS=10
CONFIG_KLOG_BUF_SIZE=1024
# CONFIG_ABI_EMU is not set

#
# Security
#
CONFIG_DENY_KERNEL_MEMORY_ACCESS=y
CONFIG_MAX_MAPPABLE_ADDR=0x100000000
# end of Security
# end of Kernel

#
# Standard Library
#
CONFIG_OOL_BUFFER_LEN=16384
# end of Standard Library