I have been following the support tutorials from http://zedboard.org/support/design/1519/10, and I have followed every step and I can't get my MicroZed to print out a hello world. I am on a Linux, I tried using minicom as the serial terminal but nothing ever prints on it. From the tutorials, I tried using serial terminal from within the XSDK, but everytime i run the Hello World project, my XSDK crashed with a SIGSEGV error. Any help is deeply appreciated.
