1d0f0cd5bSPaolo Bonzini# devices Kconfig 2d0f0cd5bSPaolo Bonzinisource char/Kconfig 3*d128c341SZhao Liusource timer/Kconfig 4