sel4_
config
0.1.0
In sel4_
config::
consts
Constants
AARCH64_SERROR_IGNORE
ARCH
ARCH_AARCH32
ARCH_AARCH64
ARCH_ARM_HYP
ARCH_ARM_V7A
ARCH_ARM_V7VE
ARCH_ARM_V8A
ARCH_IA32
ARCH_RISCV32
ARCH_RISCV64
ARCH_X86
ARCH_X86_64
ARCH_X86_BROADWELL
ARCH_X86_GENERIC
ARCH_X86_HASWELL
ARCH_X86_IVY
ARCH_X86_NEHALEM
ARCH_X86_SANDY
ARCH_X86_SKYLAKE
ARCH_X86_WESTMERE
ARM_CORTEX_A15
ARM_CORTEX_A35
ARM_CORTEX_A53
ARM_CORTEX_A55
ARM_CORTEX_A57
ARM_CORTEX_A7
ARM_CORTEX_A72
ARM_CORTEX_A8
ARM_CORTEX_A9
ARM_HIKEY_OUTSTANDING_PREFETCHERS
ARM_HIKEY_PREFETCHER_NPFSTRM
ARM_HIKEY_PREFETCHER_STBPFDIS
ARM_HIKEY_PREFETCHER_STBPFRS
ARM_HIKEY_PREFETCHER_STRIDE
BENCHMARK_GENERIC
BENCHMARK_TRACEPOINTS
BENCHMARK_TRACK_KERNEL_ENTRIES
BENCHMARK_TRACK_UTILISATION
BINARY_VERIFICATION_BUILD
CACHE_LN_SZ
CLZ_32
CLZ_64
CLZ_NO_BUILTIN
COLOUR_PRINTING
CTZ_32
CTZ_64
CTZ_NO_BUILTIN
DANGEROUS_CODE_INJECTION
DEBUG_BUILD
DEBUG_DISABLE_PREFETCHERS
ENABLE_BENCHMARKS
ENABLE_SMP_SUPPORT
EXCEPTION_FASTPATH
EXPORT_PMC_USER
FASTPATH
FPU_MAX_RESTORES_SINCE_SWITCH
FSGSBASE_INST
FSGSBASE_MSR
FXSAVE
HARDWARE_DEBUG_API
HAVE_FPU
HUGE_PAGE
IOMMU
IRQ_IOAPIC
IRQ_PIC
IRQ_REPORTING
KERNEL_BENCHMARK
KERNEL_FSGS_BASE
KERNEL_FWHOLE_PROGRAM
KERNEL_INVOCATION_REPORT_ERROR_IPC
KERNEL_IRQ_CONTROLLER
KERNEL_LAPIC_MODE
KERNEL_LOG_BUFFER
KERNEL_MCS
KERNEL_MUTLTIBOOT_GFX_MODE
KERNEL_OPTIMISATION_CLONE_FUNCTIONS
KERNEL_OPT_LEVEL
KERNEL_OPT_LEVEL_O0
KERNEL_OPT_LEVEL_O1
KERNEL_OPT_LEVEL_O2
KERNEL_OPT_LEVEL_O3
KERNEL_OPT_LEVEL_OS
KERNEL_SKIM_WINDOW
KERNEL_STACK_BITS
KERNEL_X86_DANGEROUS_MSR
KERNEL_X86_FPU
KERNEL_X86_IBPB_ON_CONTEXT_SWITCH
KERNEL_X86_IBRS
KERNEL_X86_IBRS_ALL
KERNEL_X86_IBRS_BASIC
KERNEL_X86_IBRS_NONE
KERNEL_X86_MICRO_ARCH
KERNEL_X86_RSB_ON_CONTEXT_SWITCH
KERNEL_X86_SYSCALL
LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES
LIB_SEL4_FUNCTION_ATTRIBUTE
LIB_SEL4_INLINE_INVOCATIONS
LIB_SEL4_PRINT_INVOCATION_ERRORS
LIB_SEL4_PUBLIC_SYMBOLS
LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY
MAX_NUM_BOOTINFO_UNTYPED_CAPS
MAX_NUM_IOAPIC
MAX_NUM_NODES
MAX_NUM_TRACE_POINTS
MAX_NUM_WORK_UNITS_PER_PREEMPTION
MAX_RMRR_ENTRIES
MAX_VPIDS
MULTIBOOT1_HEADER
MULTIBOOT2_HEADER
MULTIBOOT_GRAPHICS_MODE_LINEAR
MULTIBOOT_GRAPHICS_MODE_NONE
MULTIBOOT_GRAPHICS_MODE_TEXT
NO_BENCHMARKS
NUM_DOMAINS
NUM_PRIORITIES
PADDR_USER_DEVICE_TOP
PC99_TSC_FREQUENCY
PLAT
PLAT_IMX7
PLAT_PC99
PRINTING
RESET_CHUNK_BITS
RETYPE_FAN_OUT_LIMIT
ROOT_CNODE_SIZE_BITS
SEL4_ARCH
SET_TLS_BASE_SELF
SIGNAL_FASTPATH
SUPPORT_PCID
SYSCALL
SYSENTER
TIMER_TICK_MS
TIME_SLICE
USER_STACK_TRACE_LENGTH
USE_LOGICAL_IDS
VERIFICATION_BUILD
VTX
WORD_SIZE
X2APIC
X86_64_VTX_64BIT_GUESTS
XAPIC
XSAVE
XSAVE_FEATURE_SET
XSAVE_SIZE
sel4_config
::
consts
Constant
CACHE_LN_SZ
Copy item path
Settings
Help
Summary
Source
pub const CACHE_LN_SZ: &str = "64";