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! Thanks.