Re: Question about xen and Rasp 4B

[Jukka Kaartinen <jukka.kaartinen@xxxxxxxxxx>]

On 30.1.2021 3.42, Stefano Stabellini wrote:
> On Wed, 27 Jan 2021, Stefano Stabellini wrote:
> > FYI I have just ordered a micro HDMI cable so I might be able to provide
> > more useful feedback in the following days.
> What did you use to setup the graphic environment? Is it Ubuntu or
> Raspbian? I am having issues setting up a distro with a "startx" that
> works.
I'm using Ubuntu mate. Plain Ubuntu seemed to be quite slow.
Btw. we noticed that cpufreq stays at 600MHz if it is not forced from 
the config.txt
arm_freq=1500
force_turbo=1


This kernel trace might be related.
[    0.746502] cpufreq-dt cpufreq-dt: failed register driver: -19