Drivers and such things (the rk3588 port)

[Michael Grunditz]

On Mon, 9 Jan 2023 at 15:49, Michael Grunditz
<michael.grunditz at gmail.com> wrote:
>
> Yes I was ... the problem in not knowing exactly whats where and why :)
>
> I get the "blue" background now.
test-fb_bench can't create framebuffer-session.

Bootlog
Genode 22.11
8189 MiB RAM and 64533 caps assigned to init
[init -> drivers] parent provides
[init -> drivers]   service "IRQ"
[init -> drivers]   service "IO_MEM"
[init -> drivers]   service "ROM"
[init -> drivers]   service "PD"
[init -> drivers]   service "RM"
[init -> drivers]   service "CPU"
[init -> drivers]   service "LOG"
[init -> drivers]   service "Timer"
[init -> drivers]   service "Capture"
[init -> drivers]   service "Event"
[init -> test-fb_bench] --- Framebuffer benchmark ---
[init -> drivers] child "gui_fb"
[init -> drivers]   RAM quota:  40712K
[init -> drivers]   cap quota:  216
[init -> drivers]   ELF binary: boot_fb_drv
[init -> drivers]   priority:   0
[init -> drivers]   provides service Framebuffer
[init -> drivers]   provides service Input
[init -> test-fb_bench] Error: Framebuffer-session creation failed
(ram_quota=8192, cap_quota=3)
[init -> test-fb_bench] Error: Uncaught exception of type
'Genode::Service_denied'
[init -> test-fb_bench] Warning: abort called - thread: ep
[init -> drivers -> gui_fb] using boot framebuffer: 1920x1080x32 @
0xed800000 type=1 pitch=7680

I have tried to add the service in routing for test-fb_bench like this:
<service name="Framebuffer"> <child name="gui_fb"/></service>

Also to recap the first mail in thread.
The best for the graphicdriver would be if I allocate the framebuffer
in genode and put that into chip. So the question is relevant.

Michael