AVR32 Studio: Startschwierigkeiten

Hallo,

ich möchte mich mit Hilfe eines EVK1100 in die AVR32 Architektur 
einarbeiten um den Horizont ein wenig zu erweitern. Mit 8 bit AVRs habe 
ich schon sehr viel gemacht.
Das Board wurde mit dem Beispielprojekten aus dem Framework ausgiebig 
getestet und heute habe mir mein erstes Programm zusammengetippt.

3 LEDs sollen dauerhaft leuchten, eine weitere nur wenn ein Taster 
gedrückt ist. Also wirklich die absoluten Grundlagen.
Beim Komplieren wird folgende Warnung angezeigt: 
"org.eclipse.core.internal.resources.Marker@cbcf02c4 is not of a 
displayable type" und dann noch eine mit cbcf02c3
Da ich das erste mal mit Eclipse arbeite kann ich damit nichts anfangen.
Flashen kann ich per USB aber trotzdem, nach dem Reset bleiben die LEDs 
aber alle dunkel.

Kopiere ich den kompletten Inhalt der main.c in das GPIO Projekt aus dem 
Framework läuft das Programm so wie ich es erwarte.
Es scheint also irgend ein Problem mit dem AVR32 Studio zu geben. Welche 
Punkte muss man beachten, was kann ich überprüfen? Debuggen kann ich 
leider noch nicht weil mir das JTAG ICE noch fehlt.

Hier der Sourcecode. Falls es hilft kann ich das komplette 
Projektverzeichnis packen und hier anhängen.
Ich hoffe ihr könnt mir helfen denn ich denke dass man wenn die ersten 
Hürden erst einmal überwunden sind auch gut alleine weiterkommt.

1

#include "board.h"

2

#include "gpio.h"

3

4

5

int main(void)

6

{

7

  gpio_enable_gpio_pin(LED0_GPIO);

8

  gpio_enable_gpio_pin(LED1_GPIO);

9

  gpio_enable_gpio_pin(LED2_GPIO);

10

  gpio_enable_gpio_pin(LED3_GPIO);

11

  gpio_enable_pin_glitch_filter(GPIO_PUSH_BUTTON_0);

12

13

  gpio_clr_gpio_pin(LED0_GPIO);

14

  gpio_clr_gpio_pin(LED1_GPIO);

15

  gpio_clr_gpio_pin(LED2_GPIO);

16

  gpio_clr_gpio_pin(LED3_GPIO);

17

18

  while(1){

19

       if (gpio_get_pin_value(GPIO_PUSH_BUTTON_0) == 0)

20

         gpio_clr_gpio_pin(LED0_GPIO);

21

       else

22

         gpio_set_gpio_pin(LED0_GPIO);

23

  }

24

}

Grüße