I just looked through Sourceforge, and I found a
Linux version of IFI Loader. I don't know if it works, but you might want to take a look.
I couldn't find a Linux compiler, but all the info you need to write your own is in the processor data sheet, sorry I don't have a link.