Default nautilus config (as of commit ee366)

default_nautilus_config.config

#
# Automatically generated make config: don't edit
#Nautilus: 
# Thu Dec  6 20:20:02 2018
#

#
# Platform
#
NAUT_CONFIG_X86_64_HOST=y
# NAUT_CONFIG_XEON_PHI is not set
# NAUT_CONFIG_HVM_HRT is not set
# NAUT_CONFIG_GEM5 is not set
NAUT_CONFIG_MAX_CPUS=256
NAUT_CONFIG_MAX_IOAPICS=16
# NAUT_CONFIG_PALACIOS is not set

#
# Build
#
NAUT_CONFIG_USE_NAUT_BUILTINS=y
NAUT_CONFIG_CXX_SUPPORT=y
NAUT_CONFIG_TOOLCHAIN_ROOT=""

#
# Configuration
#
NAUT_CONFIG_MAX_THREADS=1024
NAUT_CONFIG_THREAD_EXIT_KEYCODE=196
# NAUT_CONFIG_USE_TICKETLOCKS is not set
# NAUT_CONFIG_VIRTUAL_CONSOLE_CHARDEV_CONSOLE is not set
# NAUT_CONFIG_VIRTUAL_CONSOLE_SERIAL_MIRROR is not set

#
# Scheduler Options
#
NAUT_CONFIG_UTILIZATION_LIMIT=99
NAUT_CONFIG_SPORADIC_RESERVATION=10
NAUT_CONFIG_APERIODIC_RESERVATION=10
NAUT_CONFIG_HZ=10
NAUT_CONFIG_INTERRUPT_REINJECTION_DELAY_NS=10000
# NAUT_CONFIG_AUTO_REAP is not set
# NAUT_CONFIG_WORK_STEALING is not set
# NAUT_CONFIG_TASK_IN_SCHED is not set
# NAUT_CONFIG_TASK_THREAD is not set
# NAUT_CONFIG_TASK_IN_IDLE is not set
# NAUT_CONFIG_INTERRUPT_THREAD is not set
# NAUT_CONFIG_APERIODIC_DYNAMIC_QUANTUM is not set
# NAUT_CONFIG_APERIODIC_DYNAMIC_LIFETIME is not set
# NAUT_CONFIG_APERIODIC_LOTTERY is not set
NAUT_CONFIG_APERIODIC_ROUND_ROBIN=y
# NAUT_CONFIG_REAL_MODE_INTERFACE is not set
# NAUT_CONFIG_ISOCORE is not set
# NAUT_CONFIG_CACHEPART is not set

#
# Garbage Collection Options
#
# NAUT_CONFIG_GARBAGE_COLLECTION is not set

#
# Optimizations
#
NAUT_CONFIG_FPU_SAVE=y
# NAUT_CONFIG_KICK_SCHEDULE is not set
# NAUT_CONFIG_HALT_WHILE_IDLE is not set
# NAUT_CONFIG_THREAD_OPTIMIZE is not set

#
# Debugging
#
NAUT_CONFIG_DEBUG_INFO=y
NAUT_CONFIG_DEBUG_PRINTS=y
NAUT_CONFIG_ENABLE_ASSERTS=y
# NAUT_CONFIG_PROFILE is not set
# NAUT_CONFIG_SILENCE_UNDEF_ERR is not set
# NAUT_CONFIG_ENABLE_STACK_CHECK is not set
# NAUT_CONFIG_ENABLE_REMOTE_DEBUGGING is not set
# NAUT_CONFIG_DEBUG_PAGING is not set
# NAUT_CONFIG_DEBUG_BOOTMEM is not set
# NAUT_CONFIG_DEBUG_BUDDY is not set
# NAUT_CONFIG_DEBUG_KMEM is not set
# NAUT_CONFIG_DEBUG_FPU is not set
# NAUT_CONFIG_DEBUG_SMP is not set
# NAUT_CONFIG_DEBUG_SFI is not set
# NAUT_CONFIG_DEBUG_CXX is not set
# NAUT_CONFIG_DEBUG_THREADS is not set
# NAUT_CONFIG_DEBUG_GROUP is not set
# NAUT_CONFIG_DEBUG_SCHED is not set
# NAUT_CONFIG_DEBUG_GROUP_SCHED is not set
# NAUT_CONFIG_DEBUG_TIMERS is not set
# NAUT_CONFIG_DEBUG_SEMAPHORES is not set
# NAUT_CONFIG_DEBUG_MSG_QUEUES is not set
# NAUT_CONFIG_DEBUG_SYNCH is not set
# NAUT_CONFIG_DEBUG_BARRIER is not set
# NAUT_CONFIG_DEBUG_NUMA is not set
# NAUT_CONFIG_DEBUG_VIRTUAL_CONSOLE is not set
# NAUT_CONFIG_DEBUG_DEV is not set
# NAUT_CONFIG_DEBUG_FILESYSTEM is not set
# NAUT_CONFIG_DEBUG_LOADER is not set
# NAUT_CONFIG_DEBUG_LINKER is not set
# NAUT_CONFIG_DEBUG_PMC is not set

#
# Runtimes
#
# NAUT_CONFIG_LEGION_RT is not set
# NAUT_CONFIG_NDPC_RT is not set
# NAUT_CONFIG_NESL_RT is not set
# NAUT_CONFIG_OMP_RT is not set
NAUT_CONFIG_RACKET_RT=y

#
# Devices
#

#
# Serial Options
#
# NAUT_CONFIG_SERIAL_REDIRECT is not set
# NAUT_CONFIG_APIC_FORCE_XAPIC_MODE is not set
# NAUT_CONFIG_APIC_TIMER_CALIBRATE_INDEPENDENTLY is not set
# NAUT_CONFIG_DEBUG_APIC is not set
# NAUT_CONFIG_DEBUG_IOAPIC is not set
# NAUT_CONFIG_DEBUG_PCI is not set
# NAUT_CONFIG_DISABLE_PS2_MOUSE is not set
# NAUT_CONFIG_DEBUG_PS2 is not set
# NAUT_CONFIG_GPIO is not set
# NAUT_CONFIG_DEBUG_PIT is not set
# NAUT_CONFIG_HPET is not set
# NAUT_CONFIG_VIRTIO_PCI is not set
# NAUT_CONFIG_E1000_PCI is not set
NAUT_CONFIG_MLX3_PCI=y
NAUT_CONFIG_DEBUG_MLX3_PCI=y
# NAUT_CONFIG_RAMDISK is not set
# NAUT_CONFIG_ATA is not set

#
# Filesystems
#
# NAUT_CONFIG_EXT2_FILESYSTEM_DRIVER is not set
# NAUT_CONFIG_FAT32_FILESYSTEM_DRIVER is not set

#
# Networking
#
# NAUT_CONFIG_NET_ETHERNET is not set
# NAUT_CONFIG_NET_COLLECTIVE is not set

#
# Languages
#
# NAUT_CONFIG_LOAD_LUA is not set