i8042 (cargo): Driver for the 8042 PS/2 Controller
Keywords: kernel|os