无法从SDK运行HW服务器

我正在尝试从Vivado附带的SDK启动Linux。
在walkthroug中，最初的步骤之一是在SDK中启动XSDB终端，然后运行命令“connect”。
当我这样做时，我收到了错误
“试图启动hw服务器
无法打开atemporay文件：file326f220
不能读“inifile”：没有这样的变数“
在演练中，打印到终端应基本上说明HW服务器已成功启动。
任何人都可以帮助为什么服务器无法启动？