EDK试验的问题

根据xilinx的“Simple Hardware Design Lab”文档做试验的时候，

用BSB生成工程， 添加按钮和开关，添加文档附带的c程序，生成比特流之后下载到板子上，但是似乎程序总是会死掉，不会出现程序中循环检测设备状态并输出的信息。步骤是完全按照文档做的，但是文档使用的是8.1版本，而我用的是9.1。

 

另外，单独添加按钮或着开关其中一个就没有问题，硬件应该是没有问题，但是同时加上去就是不行。

 

附上程序

#include "xparameters.h"

#include "xgpio.h"

#include "xutil.h"

 

int main (void) 

{

 

   XGpio dip, push;

int i, psb_check, dip_check;

   xil_printf("Start of the Program ");

 

   XGpio_Initialize(&dip, XPAR_DIP_DEVICE_ID);

XGpio_SetDataDirection(&dip, 1, 0xffffffff);

XGpio_Initialize(&push, XPAR_PUSH_DEVICE_ID);

XGpio_SetDataDirection(&push, 1, 0xffffffff);

while (1)

{

 psb_check = XGpio_DiscreteRead(&push, 1);

 xil_printf("Push Buttons Status %x\r\n", psb_check);

 dip_check = XGpio_DiscreteRead(&dip, 1);

 xil_printf("DIP Switch Status %x\r\n", dip_check);

 

 for (i=0; i<999999; i++);

}

} 

 

 

有人做过类似的试验并解决过类似的问题吗？ 请帮帮我 ，谢谢！ 

没遇到过，用10.1试试