Собственно сабж, ищется lib_AT91SAM7X512.h он существует в природе? Для AT91SAM7X256 имеется, переписать функции самому можно, это всегда успеется, в гуглах не нашел может у кого есть готовый исходник от Atmel?

А они чем-то отличаются, кроме объемов памяти?

Если вы сравните lib_AT91SAM7X128.h и lib_AT91SAM7X256.h, то не найдете там ни одного отличия. Можно сделать вывод, что и в lib_AT91SAM7X512.h все тоже самое (что вполне логично).

Неправда Ваша, отличий полно, там структуры для работы с FLASH разные и не совместимые, так уж Atmel их написал, для 128 и 256 одинаковые так как страниц флеш всего одна. Проблему решил обложив в lib_AT91SAM7X256.h куски только для AT91SAM7X256 #ifdef и переписал нужные процедуры для AT91SAM7X512. Исходников от Атмела так и не нашел.