Hi,
I've had a PcDuino3 for some time now, but I have barely used it because linksprite work was shoddy; so I never bothered to give the pcduino much time. I Also own a banana pi (A20), an O-DROID XU-4, several rPi's and an Orange Pi PC. All non rPi's are running armbian; you are all awesome for your work! I think I understand this problem with 4.x has something to do with the device tree .dtb files, but no clue what to do to get it to boot and display through HDMI.
I'm actually wanting to use it as a headless server, but initial setup requires me to see the screen only because the onboard wifi is not working either (despite manually editing /etc/wpa_supplicant/wpa_supplicant.conf and /etc/network/interfaces with the same settings that work under the 3.x kernel).
Any help would be much appreciated. For now I'm just going to re-flash 3.x and use that
