Module arceos_posix_api::config

Platform-specific constants and parameters.

Constants

• ARCH
  Architecture identifier.
• FAMILY
  Platform family.
• KERNEL_BASE_PADDR
  Base physical address of the kernel image.
• KERNEL_BASE_VADDR
  Base virtual address of the kernel image.
• MMIO_REGIONS
  MMIO regions with format (base_paddr, size).
• PAGE_SIZE_4K
  The size of a 4K page (4096 bytes).
• PCI_BUS_END
  End PCI bus number.
• PCI_ECAM_BASE
  Base physical address of the PCIe ECAM space (should read from ACPI ‘MCFG’ table).
• PCI_RANGES
  PCI device memory ranges (not used on x86).
• PHYS_MEMORY_BASE
  Base address of the whole physical memory.
• PHYS_MEMORY_END
  End address of the whole physical memory.
• PHYS_MEMORY_SIZE
  Size of the whole physical memory.
• PHYS_VIRT_OFFSET
  Linear mapping offset, for quick conversions between physical and virtual addresses.
• PLATFORM
  Platform identifier.
• PTHREAD_KEY_MAX
  Maximum number of keys per thread.
• SMP
  Number of CPUs
• TASK_STACK_SIZE
  Stack size of each task.
• TICKS_PER_SEC
  task-stack-size = “0x80000” /// 512 K Number of timer ticks per second (Hz). A timer tick may contain several timer interrupts.
• TIMER_FREQUENCY
  Timer interrupt frequencyin Hz.
• VIRTIO_MMIO_REGIONS
  VirtIO MMIO regions with format (base_paddr, size).