acrn-kernel/arch/xtensa/platforms/xt2000/include/platform
..
hardware.h
serial.h