RPRK [12.07.2025] [11:40:09]
...
rtc_cmos
i8042 aux
system
serial
i8042 kbd
Copyright ©
RPRK