Drivers and such things (the rk3588 port)

[Michael Grunditz]

On Mon, 9 Jan 2023 at 22:31, Michael Grunditz
<michael.grunditz at gmail.com> wrote:
>
> On Mon, 9 Jan 2023 at 16:45, Michael Grunditz
> <michael.grunditz at gmail.com> wrote:
> >
> > Runing run/wm
> > No USB so no interaction,, but happy that it works at all.
> > https://twitter.com/QtARM/status/1612474867282247682
>
> With run/demo
> http://micken.se/pix/genode_quartzpro64.jpg
>
> But.. I get mmu fault from framebuffer ... not good at all.

MMU fault seems to happen if I start scout. Launcher works. I don't
understand how a task can provoke mmu error in framebuffer.

Kernel: init -> drivers -> gui_fb -> ep raised unhandled MMU fault
ip=0x1009bd4 fault-addr=0x1117f3b4 type=unk
nown