/src/cpu/
../
Kconfig
Makefile.inc
amd
armltd
intel
samsung
ti
via
x86