RPRK [15.07.2025] [16:04:03]
...
rtc_cmos
i8042 aux
system
serial
i8042 kbd
Copyright ©
RPRK