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.

PACKAGE

Platform package.

PLATFORM

Platform identifier.

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.