Module config

Platform-specific constants and parameters.

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.