Module arceos_api::config
source · Expand description
Platform-specific constants and parameters.
Constants
- Architecture identifier.
- Platform family.
- Base physical address of the kernel image.
- Base virtual address of the kernel image.
- The size of the user heap.
- The size of the user stack.
- MMIO regions with format (
base_paddr
,size
). - End PCI bus number.
- Base physical address of the PCIe ECAM space (should read from ACPI ‘MCFG’ table).
- PCI device memory ranges (not used on x86).
- Base address of the whole physical memory.
- End address of the whole physical memory.
- Size of the whole physical memory.
- Linear mapping offset, for quick conversions between physical and virtual addresses.
- Platform identifier.
- The base address of the signal trampoline.
- Number of CPUs
- Stack size of each task.
- Testcase memory size.
- Testcase memory start address.
- Number of timer ticks per second (Hz). A timer tick may contain several timer interrupts.
- Timer interrupt frequencyin Hz.
- The base address of the user heap.
- user memory
- The base address of the user stack. And the stack bottom is
user-stack-top + max-user-stack-size
. - VirtIO MMIO regions with format (
base_paddr
,size
).