Hi, my company have commissioned at an external company ti develop a device based on rk3399. The external company have returned a device with a Debian 10 Linux image for the device. We are not satisfied about its the Debian distro maded by the external company because the UI it is not perfect. Sometimes, by moving forms, a little part of the display is not repainted correctly or sometimes a portion of a form disappear. So the question is: wich is the right way to build a Debian distro ourself? I have tryed ubuntu fiendlyarm. The os starts, I can enter by ssh but nothing appear on the display so, wich is the righ way to manage the hardware configuration of a custom device based on rk3399?