Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
On Mon, 9 Jan 2023 at 22:31, Michael Grunditz wrote: > > On Mon, 9 Jan 2023 at 16:45, Michael Grunditz > 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/ge

Re: genode show-and-tell, screencast to help with vbox6 challenges?

2023-01-09 Thread Dan Connolly
On Mon, Jan 9, 2023 at 8:49 AM Norman Feske wrote: ... > I'm entirely with you. Sculpt is an example of what one can build out of > Genode's building blocks, similar to how the fire department is an > example of what one can build with Lego. The fact that the fire > department is available as a ki

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
On Mon, 9 Jan 2023 at 16:45, Michael Grunditz 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

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
Runing run/wm No USB so no interaction,, but happy that it works at all. https://twitter.com/QtARM/status/1612474867282247682 ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
On Mon, 9 Jan 2023 at 15:49, Michael Grunditz 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]

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
Yes I was ... the problem in not knowing exactly whats where and why :) I get the "blue" background now. ___ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users

Re: genode show-and-tell, screencast to help with vbox6 challenges?

2023-01-09 Thread Norman Feske
Hi Cedrik, SculptOS is targetted to a "power users" public, but it seems to me this is really not a mandatory consequence of using the Genode "lego bricks" to assemble an operating system : you can clearly assemble them to make an OS aimed at a more general public, who wants to use the terminal

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
> Thanks .. it did help for the driver ,but I am still facing memory errors: > > Genode 22.11 > 8189 MiB RAM and 64533 caps assigned to init > [init -> test-fb_bench] --- Framebuffer benchmark --- > [init] Warning: gui_fb: RAM upgrade of Capture failed > [init] child "gui_fb" requests resources: ra

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Michael Grunditz
On Mon, 9 Jan 2023 at 11:23, Alexander Boettcher wrote: > > there is already a platform_info ROM generated by core (roottask), which > would collide with this one (so only one of both would be accessible). > The one option is to add this information directly to the generated > platform_info in

Re: genode show-and-tell, screencast to help with vbox6 challenges?

2023-01-09 Thread Norman Feske
Hi Will, On 1/9/23 07:20, Will Senn wrote: I'm still trying to understand the relationship between Genode and Sculpt. Reading through the "Genode Live System" github issue thread, It sounds like back in 2016, the developers had no desire to build a live-cd version of the framework (it would ha

Re: ath9k usb Wi-Fi driver

2023-01-09 Thread Josef Söntgen
Hello Colin, I am glad you managed to get your USB wifi dongle working. >If anyone has the hardware (Atheros 9K chipsets are in >common/inexpensive usb wifi radios) and wants to try it out I would be >excited to hear if it works for you. I do not own such a device and since it was easier to acqu

Re: genode show-and-tell, screencast to help with vbox6 challenges?

2023-01-09 Thread Johannes Schlatow
Hi Dan, On Sun, 8 Jan 2023 22:20:36 -0600 Dan Connolly wrote: > I recently got a used ThinkPad just for genode. Over the holiday > break, I managed to follow Schlatow's article[1] far enough to get > dual boot working, but I'm struggling with vbox6. I think I need to > get a better working knowl

Re: Drivers and such things (the rk3588 port)

2023-01-09 Thread Alexander Boettcher
Hello, On 09.01.23 05:24, Michael Grunditz wrote: A quick follow up : I have tried the "boot" framebuffer driver. But I cant get the ram config in the run file to work. I am testing with fb_bench. In theory video output should work , I have initialised the hardware in uboot and can fill the scre