I can't seem to get this to work. That is, rts is showing me the 'correct' number of bytes written, but nothing's actually -happening- with the Receiver.

Do you have a list of the IR codes available?

Have you made available, or can you make available, the source for displayserver? I was only able to find what is apparently a quite old version that doesn't support the input / IR stuff.