/src/cpu/intel/model_6dx/
../
Kconfig
Makefile.inc
acpi
model_6dx_init.c