マストドンでフォロワーさんに教えてもらいながらBIOS設定いじってPS/2入力を認識するようにした
ちなみにボールマウスを買ったのは確か2018年頃