Crate axconfig

Platform-specific constants and parameters for ArceOS.

Currently supported platform configs can be found in the configs directory of the ArceOS root.

Modules

devices

Device specifications

plat

Platform configs

Constants

ARCH

Architecture identifier.

PLATFORM

Platform identifier.

SMP

Number of CPUs

TASK_STACK_SIZE

Stack size of each task.

TICKS_PER_SEC

Number of timer ticks per second (Hz). A timer tick may contain several timer interrupts.