.
..
i8042 aux
i8042 kbd
rtc_cmos
serial
system
tpm_tis