users January 2023

users@lists.genode.org

27 participants
49 discussions

Start a nNew thread

ath9k usb Wi-Fi driver
by Colin Parker 23 Jun '23

23 Jun '23

4 24

Can Genode run on the Mixtile Blade 3?
by Jacek Rużyczka 06 May '23

06 May '23

Good evening Genodians, in a couple of months I'll receive a number of Mixtile Blade 3 SBCs (based on the RK3588) https://www.crowdsupply.com/mixtile-limited/mixtile-blade-3 and would like to (at least) try to equip them with the Genode OS. What's necessary for my project, is clustering four such nodes with a PCIe switch (supplied by Mixtile; see their web page) as well as using single SBCs as storage nodes, which will be connected to a hard drive. Is it possible to port Genode onto this platform, or is this impossible with the current version? I simply don't wanna start an infaust undertaking. Thank you. Regards Jacek Rużyczka

2 4

Regarding ARM on Genode
by Divya Sharma 10 Apr '23

10 Apr '23

hello genodians, I'm Trying to port Genode OS for i.MX 8MQ boards (arm_v8a). successfully generated .img file but don't know how to run this img file i don't have i.MX board so I have to run on Ubuntu (linux). I have tried qemu emulator but i think qemu doesn't supported board. (basically want to run genode os for ARM.) Please give some guidance on this. Thanks & Regards

6 25

First Rockchip port repo.
by Michael Grunditz 10 Feb '23

10 Feb '23

Hi I have made a github repo for my Rockchip port. It is only RK3588 for now, but I plan to add rk3399 for supporting Pinebook Pro. There are a number of things not working.Most irritating is USB. My old tree had driver in dde_linux repo. Currently if built with drivers-interactive it fails in a couple of library dependencies. If built from a run file it won't build all lx_kit files needed. Feel free to help me, fork and make pull request. There is a crt0.s in the start directory that you can copy to base-hw. I hope it doesn't break things. It is required for this platform, probably because I start genode with "go" and not bootm. I can't get bootm to work. The requirement for running this is a RK3588 board with uboot that support USB and HDMI. You need to run "usb start" before booting. The video driver gets the screen mode from what uboot has configured with EDID. Works just fine with 1080p monitor. But not with a 4k monitor, Well this is it! I have enjoyed it so far. I have tried to being careful with authours by adding myself and kept original developer where appropriate. Please fix if I did something wrong there. It might also be traces from A64 port , which you also can remove if you find any. I also kept the license and base copyright which means that I give this away to The labs. Have fun. The repo: https://github.com/mickenx/genode-rockchip Michael

4 9

Goa: build libraries fails on arm_v8a
by Duss Pirmin 07 Feb '23

07 Feb '23

Hello Genodians While extending my tests for the feature to build libraries with Goa, I encountered an error when building a library, that works well on x86_64, for arm_v8a. The error is as follows: /usr/local/genode/tool/21.05/bin/../lib/gcc/aarch64-none-elf/10.3.0/../../../../aarch64-none-elf/bin/ld: ../../lib/libc++.lib.so: The first section in the PT_DYNAMIC segment is not the .dynamic section /usr/local/genode/tool/21.05/bin/../lib/gcc/aarch64-none-elf/10.3.0/../../../../aarch64-none-elf/bin/ld: final link failed: bad value I guess, this is due to some remaining bug in my changes. Other libraries built from the same source tree (using cmake) can be built without error. Searching for the problem, I got [1] and [2]. The first blames binutils, the second is more specific by identifying objcompy. AFAIK objcopy is part of binutils. Has somebody an idea what could cause this error in the Goa case? Could it be, that the wrong version of objcopy is used? The verbose output is as follows (shortened and line breaked for better readability): /usr/local/genode/tool/21.05/bin/genode-aarch64-g++ -fPIC -fPIC -O2 -D__GENODE__ -nostdinc -D__BSD_VISIBLE -D__FreeBSD__=8 -O3 -I/data/.../api/base/2022-09-17/include/spec/arm_64 ... -Wl,-gc-sections -Wl,-z -Wl,max-page-size=0x1000 -Wl,-Ttext=0x01000000 -Wl,--eh-frame-hdr -Wl,-rpath-link=. -Wl,--whole-archive -nostartfiles -nodefaultlibs -static-libgcc -L/data/gapfruit/goa/llvm/var/abi/arm_v8a -lgcc -l:ldso_so_support.lib.a -fPIC -T /home/pirmin/.local/goa/share/goa/ld/genode_rel.ld -shared -o ../../lib/libc++.lib.so CMakeFiles/cxx_shared.dir/algorithm.cpp.obj ... -nodefaultlibs I have already pushed some new commits that fix small things that I discovered during extended testing. Regard, Pirmin [1] https://bugzilla.redhat.com/show_bug.cgi?id=679435 [2] https://sourceware.org/bugzilla/show_bug.cgi?id=12516

4 12

Restarting siblings vs. restarting nieces
by Sid Hussmann 06 Feb '23

06 Feb '23

Dear Genodians, I noticed a behavior that I would like to understand. Let's assume we have the following parent-child relationship of a sub-system, omitting some ancestors for simplicity: ``` . └── init ├── fs │ ├── init │ │ └── rump │ ├── fs_mgr │ └── report_rom ├── fs_client1 └── fs_client2 ``` In this example, the config for the first `init` is written via the depot query/deploy mechanism. Thus, `fs`, `fs_client1`, and `fs_client2` are pkg archives. The `runtime` file from pkg archive `fs` contains a management component `fs_mgr` that generates an `init` config which starts a `vfs` server with a `rump` plugin within that `init`. For context, we use the `fs_mgr` to instrument it to start `fsck` or `mkfs` depending on its configuration. But that's not relevant right now. Let's also assume the routing is valid so that `fs_client1` and `fs_client2` are up and running, and they both consume the `File_system` session provided by `rump`. Now to my observation: When I restart `fs` by incrementing its version attribute in the deploy file, `fs`, `fs_client1`, and `fs_client2` all get restarted. That is what I would expect. However, the behavior is different when I instrument the `fs_mgr` to restart `rump`. Most of the time, both `fs_client1` and `fs_client2` don't seem to notice. Is this behavior by design? Is `init` designed to behave differently regarding client/server dependency when siblings get restarted vs. when a niece is restarted? Is there a way to instrument `fs_mgr` to write an `init` config, so that `fs_client1` and `fs_client2` get restarted? Granted, I observed this in a more complex scenario. I once had the following errors when restarting `rump` on `arm_v8a/base-hw`: ``` Kernel: init -> init -> fs_client1 -> ep: cannot send to unknown recipient ... Kernel: Cpu 0 error: re-entered lock. Kernel exception?! ``` Would it make sense for me to create a simplified scenario of it to dig into this behavior further? Kind regards, Sid

3 7

vbox6-block: hang in linux kernel boot
by Dan Connolly 31 Jan '23

31 Jan '23

As I mentioned, I got vbox6-block to boot using 4 block devices. It boots grub, and I can transfer control to Ubuntu 22.04. I used recovery mode to get a little more info about what's going on. Then after a bit it hangs. The genode logs show lots of "preemption during measurement" warnings. The linux kernel log shows stuff like... start_kernel+0x49a/0x4ca ... Spectre V2 : ... Filling RSB on VMEXIT ... smpboot: CPU0: Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz ... and then... nothing. suggestions? For more config, logs and a screenshot, see... https://github.com/dckc/madmode-blog/issues/49#issuecomment-1409922456 -- Dan Connolly http://www.madmode.com/

2 1

vbox6-block: no policy defined for label 'vbox6-block -> block0'
by Dan Connolly 31 Jan '23

31 Jan '23

I'm struggling to understand how to configure the vbox6-block component. All seems to go well until... [runtime -> ahci-0.part_block] Warning: no policy defined for label 'vbox6-block -> block0' I read up on component configuration; I have a better understanding of it now. https://genode.org/documentation/genode-foundations/22.05/components/Compon… But I don't understand the details of how to configure block services in a launcher. For detailed logs, my launcher config, etc., see: https://github.com/dckc/madmode-blog/issues/49#issuecomment-1407819827 p.s. I got falkon and screenshot working, but in that same issue 49, note problem reports w.r.t - shutdown / acpica - ssh_client - sneakernet (usb_drv) -- Dan Connolly http://www.madmode.com/

2 6

vbox6-block: AddRef failed at MachineWrap.cpp(11269)
by Dan Connolly 30 Jan '23

30 Jan '23

Do these symptoms look familiar? Any suggestions on how to fix or further diagnose? [runtime -> vm-block -> vbox] main !!Assertion Failed!! [runtime -> vm-block -> vbox] main Expression: state <= 1 && ( (state == 0 && count == 0) || (state == 1 && count < PR_UINT32_MAX/2)) [runtime -> vm-block -> vbox] main Location : /home/alex/genode/sculpt/depot/alex-ab/src/vbox6/2022-11-21/src/virtualbox6/VBoxAPIWrap/MachineWrap.cpp(11269) virtual nsrefcnt MachineWrap::AddRef() I'm using a local variant of https://depot.genode.org/alex-ab/pkg/vbox6-block/ . For my exact launcher and runtime, as well as more log context, see https://github.com/dckc/madmode-blog/issues/49#issuecomment-1408787710 -- Dan Connolly http://www.madmode.com/

2 1

compiling Sculpt
by Johnny Nunez 30 Jan '23

30 Jan '23

Hello everyone, Is it possible to compile Sculpt using kernel=Linux board=pc ? I am getting this error: checking configuration syntax CHECK init generating initrd cp: cannot stat 'genode/initramfs': No such file or directory while executing "exec cp genode/initramfs init" (procedure "build_initrd" line 16)

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users January 2023