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