Tengo un código para avr que escribe con iar, y tengo un archivo de encabezado, "ATxmega128A3.h. Si quiero transferir este código a GCC (estoy trabajando con atmel studio), ¿tendré que llamar a este archivo de encabezado, o este archivo de encabezado solo para el compilador IAR?