users August 2024

users@lists.genode.org

15 participants
16 discussions

fs_query troubles
by Rumen Mitov 12 Aug '24

12 Aug '24

Hello, I was following this article on Genode's VFS (http://genodians.org/m-stein/2021-06-21-vfs-1), but I cannot get the first example run script to run. I get the following runtime error, on which I could not find any information online: [init -> fs_query] Error: failed to watch '/'. I have attached the run script below for convenience; the platform I ran it on was x86 KERNEL=linux BOARD=linux. Please note that the build phase does not output any errors. Any help and tips will be greatly appreciated! Sincerely, Rumen

2 2

Re: Discourse forum?
by cscat2004＠yahoo.com 11 Aug '24

11 Aug '24

Hi Norman, 1. This is a good idea. I wanted to point out that Discourse offers free services for FOSS projects (and in fact, I use it too): https://free.discourse.group It might be worth checking this out as a starting point! 2. Depending on the load, I can volunteer to mod. Please let me know. Best,Arta

1 0

If you aren't a current list member, sending this message will subscribe you.
by xm8oua0a＠nqmo.com 11 Aug '24

11 Aug '24

https://www.worldescortspage.com If you aren't a current list member, sending this message will subscribe you.

1 0

Genode's 16th anniversary
by Norman Feske 06 Aug '24

06 Aug '24

This summer, the Genode project celebrates its 16th anniversary! Like every year, we gather together with partners, friends, families, and fans in a casual setting at the banks of the river Elbe. Should you be nearby, you are heartily welcome to join. Dresden/Germany, August 22th Fire place nearby Eisenberger Strasse Start at 18:00 Google Maps: https://goo.gl/maps/C0luj Enjoy a variety of beverages, pick something tasty from the grill, chit-chat, stroll around, and relax at the camp fire. If this sounds tempting to you, please let us know your coming by writing a short note to: info(a)genode-labs.com Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

Genode Contribution Ideas
by Zachary Zollers 05 Aug '24

05 Aug '24

Hello Genodians, I have spent the last few months familiarizing myself with the base API and creating some sample projects. While I am relatively new to Genode, I had a few ideas during my initial exploration for areas to which I might contribute. [1] When I was just starting out, my biggest challenge was the build system. While going through some of the basic examples / demos, I developed a rather simplistic Nix wrapper around the Genode build system (see [a]). Despite its simplicity, it greatly sped up my development time. For those that aren't familiar, Nix is a language for creating reproducible builds (see [b]). I was able to get several of my co-workers spun up on my projects in a single command. Since Nix has a docker image, creating development container images for those that did not already have Nix was trivial. I think there is a lot of potential here for decreasing the barrier to entry for playing with Genode demo scenarios, and generally making Genode builds more reproducible. In my cursory research, I came across at least one past attempt at porting the Genode build system to Nix and vice versa (see [c]), as well as a mailing list discussion from almost a decade ago (see [d]). Has anyone continued these efforts? If no one is currently working on this, would it be something that others would be interested in using? I have my own ideas for how I would implement this, but I would like to get input from more experienced members of the community. [2] I also want to ask about system composition abstractions. XML ROMs make sense as a runtime representation since they are easy to parse, but they make it difficult to write complex system configurations by hand. Are there any current efforts to create build and/or runtime abstractions for system composition? From my naive perspective, this also seems like a wonderful place to introduce a high-level package manager to create and deploy modular subsystems (if one doesn't already exist). I also wonder if there are any opportunities here for formal modelling and analysis of a configuration. [3] Finally, I want to ask about any previous or planned work to formally verify the correctness of important Genode components (e.g, core, init) and the Genode API. Are there any challenges that make this infeasible? There are several follow-up questions I would have before going in this direction, but I would once again like to get input before adding my thoughts. To summarize: 1. Has anyone been working on porting Genode to Nix (or vice versa)? 2. Is anyone working on a build and/or runtime abstraction for system composition? 3. Is there any ongoing or planned work toward formal verification of Genode components (e.g., core, init, etc.)? I look forward to hearing everyone's thoughts! Best, Zachary Zollers [a] https://github.com/zgzollers/nixpkgs-genode [b] https://nixos.org/ [c] https://discourse.nixos.org/t/genodepkgs-extending-nixpkgs-nixos-to-genode/… [d] https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/me…

3 2

USB session and alt_setting URB
by alice.domage＠gapfruit.com 05 Aug '24

05 Aug '24

Dear Genodians, I am currently working on a USB driver. I am wondering if in the `Usb::Interface::Alt_setting` constructor, the parameters `iface.index().number` and `iface.index().alt_setting` are inverted? According to the `Usb::Device::Urb` constructor, the interface index seems to come second. If I invert those parameters, the correct interface is selected. Otherwise, the request fails. Best, Alice

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users August 2024