Flash Programming Algorithm for EA LPC3250

I'm using the Embedded Artists development board LPC3250. The flash on it is K9F1G08U0A (1GBit NAND Flash, 3.3V, 8-bit databus) from Samsung. Does anyone have the flash programming algorithm for it?
If not, do you know if the .axf file can be treated as a raw binary file and thus loaded through other means? (the only other method I've read about is srec).
Any help would be appreciated!

More questions in this forum