How do I make the SD card IP core work?

After a lot of trying I got the UP IP Finaly to work. But I have to say that it is a little bit Buggy and especially the Doku is bad.

1. The HAL Driver doesn't check the Valid Bit of the Aux Reg.

You have to implement your own checking Function, otherwise you get random errors depending on the speed of your System and the Card.

2. HAL does not work on a NIOSII with Cache, because it access the Memory with Pointers instead of direct IOWR and IORD.

3. It is very slow. I got 140kB with direct access. (But I still checking this).