acrn-kernel/tools/arch/x86
..
include
intel_sdsi
kcpuid
lib
tools