It sounds like you have found the right driver.
EDIT link updated on jan 21, 2025
It combines the drivers for SAM4E and SAME70.
There is a demo project for SAME70 which uses mentioned driver in a Makefile project.
I’m using the a FreeRTOSIP_config.h
Mind you that the correct name is FreeRTOSIPConfig.h, without an underscore.