You should be able to use something like Flirc if you want to use a TV remote to control your mini PC.

The OSMC remote would probably also work. It also comes with an RF receiver (doesn't use IR). I got an OSMC box with accompanying remote and I'm very happy. If need be I can plug it into one of my non OSMC devices and test it out with a specific media app.