Given a kernel containing IrDA support, does the player open the device? If so, is it opened for exclusive access?

What is the source of the IrDA device? The Debian distribution, or in-house empeg? What IOCTLs and other hooks does it support?

One of the few remaining Mk1 owners... #00015