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_RISCV
ARCH_RISCV32
ARCH_RISCV64
ARCH_X86_64
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
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_PCNT_USER
EXPORT_PTMR_USER
EXPORT_VCNT_USER
EXPORT_VTMR_USER
FASTPATH
FIRST_HART_ID
HARDWARE_DEBUG_API
HAVE_FPU
IRQ_REPORTING
KERNEL_BENCHMARK
KERNEL_FWHOLE_PROGRAM
KERNEL_INVOCATION_REPORT_ERROR_IPC
KERNEL_LOG_BUFFER
KERNEL_MCS
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_STACK_BITS
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_NODES
MAX_NUM_TRACE_POINTS
MAX_NUM_WORK_UNITS_PER_PREEMPTION
NO_BENCHMARKS
NUM_DOMAINS
NUM_PRIORITIES
OPENSBI_PLATFORM
PADDR_USER_DEVICE_TOP
PLAT
PLAT_ARIANE
PLAT_IMX7
PLAT_QEMU_RISCV_VIRT
PLAT_ROCKETCHIP
PLAT_SPIKE
PLAT_STAR64
PRINTING
PT_LEVELS
RESET_CHUNK_BITS
RETYPE_FAN_OUT_LIMIT
RISCV_EXT_D
RISCV_EXT_F
RISCV_PLAT
RISCV_USE_CLINT_MTIME
ROOT_CNODE_SIZE_BITS
SEL4_ARCH
SET_TLS_BASE_SELF
SIGNAL_FASTPATH
TIMER_TICK_MS
TIME_SLICE
USER_STACK_TRACE_LENGTH
VERIFICATION_BUILD
VTIMER_UPDATE_VOFFSET
WORD_SIZE
sel4_config
::
consts
Constant
CTZ_NO_BUILTIN
Copy item path
Settings
Help
Summary
Source
pub const CTZ_NO_BUILTIN: bool = false;