Module sel4_common::sel4_config

Constants

• ASID_BITS
• CONFIG_KERNEL_STACK_BITS
• CONFIG_MAX_NUM_NODES
• CONFIG_NUM_DOMAINS
• CONFIG_NUM_PRIORITIES
• CONFIG_PT_LEVELS
• CONFIG_RESET_CHUNK_BITS
• CONFIG_TIME_SLICE
• IT_ASID
• KERNEL_ELF_BASE
• KERNEL_ELF_BASE_OFFSET
• KERNEL_ELF_PADDR_BASE
• L2_BITMAP_SIZE
• MessageID_Exception
• MessageID_Syscall
• NUM_READY_QUEUES
• PADDR_BASE
• PADDR_TOP
• PAGE_BITS
• PPTR_BASE
• PPTR_BASE_OFFSET
• PPTR_TOP
• PT_INDEX_BITS
• PT_SIZE_BITS
• RISCVGigaPageBits
• RISCVMegaPageBits
• RISCVPageBits
• RISCV_4K_Page
• RISCV_Giga_Page
• RISCV_Mega_Page
• RISCV_Tera_Page
• TCB_OFFSET
• TCB_SIZE_BITS
• asidHighBits
• asidInvalid
• asidLowBits
• nASIDPools
• physBase
• seL4_AlignmentError
• seL4_DeleteFirst
• seL4_EndpointBits
• seL4_FailedLookup
• seL4_HugePageBits
• seL4_IPCBufferSizeBits
• seL4_IllegalOperation
• seL4_InvalidArgument
• seL4_InvalidCapability
• seL4_LargePageBits
• seL4_MaxUntypedBits
• seL4_MinUntypedBits
• seL4_MsgExtraCapBits
• seL4_MsgMaxExtraCaps
• seL4_MsgMaxLength
• seL4_NoError
• seL4_NotEnoughMemory
• seL4_NotificationBits
• seL4_NumErrors
• seL4_PageBits
• seL4_PageTableBits
• seL4_RangeError
• seL4_ReplyBits
• seL4_RevokeFirst
• seL4_SlotBits
• seL4_TCBBits
• seL4_TruncatedMessage
• tcbBuffer
• tcbCNodeEntries
• tcbCTable
• tcbCaller
• tcbReply
• tcbVTable
• wordBits
• wordRadix