Dokumentation zu XILINX EDK/SDK gesucht

Hallo,
ich bin gerade am Verzweifeln.
Ich möchte mit dem Xilinx EDK mein Custom Board zum laufen bringen.
Die Hardware (JTAG-Interface, UARTS, Ein- und Ausgänge) an sich 
funktioniert bereits mit dem MircoBlaze Softcore.

Nun will ich den Interrupt-Controller (XPS_INTC) in Betrieb nehmen.
Es soll z.B. ein Interrupt auftreten wenn:
- ein Timer überläuft
- Daten am UART anstehen
- ein digitaler Eingang von LOW auf HIGH geht

Und da gehen die Probleme schon los:
Ich suche nun schon seit vielen Stunden nach einer ordentlichen 
Dokumentation dafür --> vergebens :-((
Das Timerevent alleine habe ich hinbekommen - aber wenn ich zusätzlich 
ein Interrupt für den Eingang haben will, dann kommt gar kein 
Interruptevent mehr...

Das einzige, was ich beim googeln finde, sind irgendwelche 
Codeschnipsel, die mal funktionieren und mal nicht. Aber eine 
ordentliche Schritt für Schritt Anleitung finde ich nicht.
OK, im EDK kann man sich ja das Datenblatt zum xps_intc anschauen. Aber 
da steht ja nur drin, was man auf Assemblerebene mit der Schnittstelle 
des xps_intc machen kann. Wie das ganze dann mit dem gcc umzusetzen ist, 
kann ich daraus nicht wirklich ableiten. Ich habe mir auch schon die von 
libgen generierten Headerfiles angeschaut. Da stehen schon ein paar 
Hinweise im Quelltext - aber das kann doch nicht sein, dass man erstmal 
alle Headerfiles auswendig lernen muss, um einen Interrupthandler zu 
schreiben... heul

Ich würde mir ja auch gern ein Buch zum Thema kaufen - aber ich finde 
keins...

Hat jemand von Euch einen Tip für mich?

Gruß,
Andreas