Re: [9front] Question re: RPI video performance

[Steve Simon <steve@quintile.net>]

you are sure it is video performance that is slow and not something else?

try cat /sys/lib/words (rusty memory, probably the wrong path).

you could also try the trusty catclock.

i have never used 9front on the pi but miller’s distro was fine, and the video driver is probably the same…

-Steve


> On 3 Dec 2022, at 09:50, Nicola Girardi <ng@0x80.stream> wrote:
> 
> Sigrid Solveig Haflínudóttir <sigrid@ftrv.se> wrote:
>> Could be related to the framebuffer format. Check "aux/zerotrunc </dev/screen". Try to switch to a different format via config.txt(?), especially if your current mode is 16-bit.
> 
> Interesting.  I had only configured the mode using hdmi_mode=82 in
> config.txt and got r5g6b5 as output to your command.  I now realize I
> can additionally set vgasize in cmdline.txt to 1920x1080x32, then I
> get
> 
> ; read -c 60 /dev/screen
>   x8r8g8b8           0           0        1920        1080 
> 
> Slow as before.  Tried many other modes in the past month, and even
> 640x350 behaves in the same way I'd described earlier.
> 
> One thing I noticed in the config.txt provided by 9front is that
> gpu_mem is set to 16, while the default is 64.  As a total hunch I
> tried to increase that value to 64 but then the RPI doesn't boot (or
> boots, but screen is blank so I don't know :-)).
> 
> I can accept the behavior, it's just I'd like to understand more.  I
> tried to understand something from the git history but failed.
>