Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
I had hoped that #1082 would be my last PS/2-related PR, but alas, the hardware I'm working with behaves differently whether it's being cold booted or rebooted from Linux. :(
There seems to be a case where the controller is detected as single channel, but resetting the mouse still succeeds. Setting the sampling rate then fails.
I hope this change makes sense. Input still doesn't work on the Optiplex, but I'm running into less errors on boot.
I had hoped that #1082 would be my last PS/2-related PR, but alas, the hardware I'm working with behaves differently whether it's being cold booted or rebooted from Linux. :(
There seems to be a case where the controller is detected as single channel, but resetting the mouse still succeeds. Setting the sampling rate then fails.
I hope this change makes sense. Input still doesn't work on the Optiplex, but I'm running into less errors on boot.