sharing a PS/2 keyboard

The other RISCOS user in my house uses a Risc PC with an Acorn PS/2 keyboard and a Raspberry Pi.
She wants to keep two screens and two mice but would like to share the PS/2 keyboard between the two machines.
Is there a simple way to make the PS/2 keyboard available to both the Risc PC and the Raspberry Pi?

Probably something like a cheap PS/2 KVM and a PS/2-USB converter at the Pi end might do the trick.

I would recommend one of the legacy Belkin KVM switches that use PS/2 for console (mouse and keyboard) but can do either USB or PS/2 for the machines connected. I used an 8 port variant for a very long time and happily switched between all kind of machines including Risc PCs and IYONIX and Omega and various PCs.

Thanks Andrew and Steffen,
Belkin KVM switch 2-port E series f1db104p2ea, ordered.
Cost 6.99 gbp with free postage. Should arrive tomorrow.
Update to follow.