I've downloaded the Xillinux 1.0 from Xillybus (xillinux-eval-zedboard-1.0.zip & xilinux-1.0.img.gz) and copied to the SD card. The boot.bin is generated by ISE tools. The Ubuntu (Xillinux) can be run on the Zedboard but no sound can be made. Is there anyone who can generate or test sound with the zedboard and Xillinux 1.0?