Anfängerprobleme mit Mico32

Hallo,

ich zwei Problemchen mit dem Mico32:
1. Die Adresse z.B. eines GPIO-Ports soll dynamisch bestimmt werden, was 
er leider überhaupt nicht macht. Es wird immer 0 zurückgeliefert. Der 
Code sieht folgendermaßen aus:

1

#include "DDStructs.h"

2

#include "LookupServices.h"

3

#include <stdio.h>

4

#include "MicoUtils.h"

5

6

int main(void)

7

{

8

  MicoGPIOCtx_t *pled= (MicoGPIOCtx_t *)(MicoGetDevice("my_gpio"));

9

10

  if (pled==0)

11

  {

12

    printf("failed\n\r");

13

    return -1;

14

  }

15

16

  while(1);

17

}

Der Port hat auch definitiv den richtigen Nampen (my_gpio).

2. Wie war das mit den printf-Ausgaben auf der Konsole. Bei mir taucht 
da im Eclipse leider rein gar nichts auf. Fehlt mir da noch was (ausser 
intelligenz...) ?

Danke im Voraus.