I followed the instructions here
and I have successfully booted into my freshly installed system. I also installed xfce which I successfully can start the DE by issuing
startx. One thing though.
When I enter
xrandr from within xfce I get the following
xrandr: Failed to get size of gamma for output default Screen 0: minimum 1280 x 1024, current 1280 x 1024, maximum 1280 x 1024 default connected 1280x1024+0+0 0mm x 0mm 1280x1024 0.00*` `
Accordingly there is no HDMI-0 output, so I can not issue
xrandr --output HDMI-0 --mode 1024x768 --rate 60
Is it something wrong with my configuration?
Furthermore, do I need to run the sgx_build_modules.sh script?