RPRK [15.07.2025] [18:25:31]
...
rtc_cmos
i8042 aux
system
serial
i8042 kbd
Copyright ©
RPRK