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.