@anruliu 您好，我是开发板小白，这个开机的时候怎么指定默认HDMI输出呢，有详细的操作步骤吗，我的板子刚到，自带的debian系统，我用xrandr命令显示，只有

xrandr failed to get size of gamma for output default
1280 * 720     69.00*

通过我在网上找到的信息，系统没有识别出外接的hdmi显示器