最近，今更ながら手元の PC で PS/2 キーボードを使いたいなぁと． Windows を使っているときにはあまり関係ないんだけど，Linux で使うときにはたまに USB キーボードじゃなくて，PS/2 キーボードが欲しいなって時がるんだよな．udev 周りをごにょごにょし…