你好，怎么用edp屏显示官方的Debian10系统画面

TB-RK3399ProD   Debian10手上有一个EDP屏，怎么用edp屏显示官方的Debian10系统画面，现在被hdmi占用。