tree: 047d867d440dbd4f89346716969f8db36c85a961 [path history] [tgz]
  1. board-dt.c
  2. Kconfig
  3. Makefile
  4. platsmp.c
  5. smp.h