[Bru-list] IR device via USB into RPi RISC OS?

[Steven J Green]

Can anyone advise if it's possible to use an external IR device with RISC
OS via a USB dongle of some sort?

Alternately, has anyone come across a device which converts IR input
signals into wifi signals which can then be input into the Pi via a
wireless dongle?

I have a very nice folding IR keyboard left over from a PDA system of some
years ago. It would be a good partner for my HDMIPi system as it would
greatly reduce the volume of the bulkiest component, the keyboard.

regards

Steve