On
Kevin Watson's website, he has written a "fully buffered, full-duplex, interrupt-driven serial port driver that can be used with either or both on-board serial ports" for the full-size and mini IFI controllers. Scroll down to where it says "EDU-RC Example Code", and I think you'll find precisely what you're looking for.