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.