RPRK [19.07.2025] [17:28:02]
...
rtc_cmos
i8042 aux
system
serial
i8042 kbd
Copyright ©
RPRK