When we first played with the empeg's IrDA, I used some linux irobex programs to transfer a contact card from the palm to the empeg; this sort of thing should work just fine.

IIRC, IrDA kernel support is standard in mk2 kernels (it's not in mk1's as the memory overheard is big enough to be a bad idea in 8mb, users have to compile their own kernels for the mk1 if they want irda).

Hugo