users

users@lists.genode.org

3 participants
2304 discussions

Re: ext4.h not found
by Michael Grunditz 18 Aug '24

18 Aug '24

> 17 aug. 2024 kl. 19:43 skrev Michael Grunditz <michael.grunditz(a)gmail.com>: > > > >> 16 aug. 2024 kl. 16:42 skrev Rumen Mitov <Rumen.Mitov(a)constructor.tech>: >> >> Hello, >> >> I want to test out lwext4, however when I try to compile it, I get an error that ext4.h was not found. I have attached my main.cc, target.mk and squid.run files below. The platform I am using is x86_64 linux. If anyone knows has any idea how to link the lwext4 library please let me know, as I could not find much information online. >> >> Best, >> Rumen >> >> > > Not sure what you want to achieve. Accessing ext4 file systems? Probably a bad idea in Genode/Linux. > > Michael Sorry didn’t read your run file. Looks fine even though, why include the header in a hello world file? Michael

2 5

Discourse forum?
by Norman Feske 15 Aug '24

15 Aug '24

Hello everyone, recent activity on the mailing list and issue tracker suggests that our community lacks a public space for causal talk among users. The issue tracker is the time-tested workbench of Genode's developers. As a tool for organizing work and discussing deeply technical topics, it is not conductive for uninitiated people who wish to get engaged with the project. Our mailing list is an adequate medium to get technical questions answered, discussing the road map, or to publish announcements. But its somewhat formal character is inappropriate for causal conversation about topics merely tangential to Genode. The subreddit /r/genode is pretty much deserted. IRC lacks persistence and structure. Recently, I got repeatedly asked for my opinion about creating a Discourse forum or for unlocking the forum functionality of our GitHub project. I would leave the latter unconsidered to keep our dependency from GitHub features at bay. But I'm wondering, would it be worthwhile to consider opening a forum at Discourse [1]? It is open source and can in principle be self-hosted. Unlike proprietary SaaS products, all forum data is portable. [1] https://discourse.org Our small team of Genode Labs is not able to carry the additional burden of operating a self-hosted Discourse instance today. But we'd consider purchasing a forum at discourse.org and cover the expenses. As the forum would be a place for users, it should best be operated and moderated by users, not the Genode developer team. This way, the forum won't have any corporate smell, everyone can be on eye level, and the core developer team won't be consumed by additional responsibilities. This brings me to the following question: Are there volunteers among you who'd like to contribute by assuming the role of administering and moderating of such a forum? 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

4 4

Logging Based File System Support in Genode
by Rumen Mitov 14 Aug '24

14 Aug '24

Hello, Does anyone know of any projects / plugins that support a logging file system (e.g. ext3/4) in Genode? Rumen

4 5

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

Genode at FrOSCon 2024
by Johannes Schlatow 30 Jul '24

30 Jul '24

Hi everyone, I'm cheerful to inform you that there is going to be a Genode booth at this year's FrOSCon: FrOSCon Free and Open-Source Software Conference August 17th and 18th in Sankt Augustin (Hochschule Bonn-Rhein-Sieg) https://froscon.org You are invited to meet us (Stefan Kalkowski, Christian Helmuth, Norman Feske and Johannes Schlatow) at our booth. Of course, we will bring along various devices to exhibit Sculpt OS in all its flavors. You may also grab a hard copy of the current Sculpt OS guide, Genode Foundations or Genode Platforms. We're looking forward to meeting you there! Cheers Johannes

1 0

← Newer
1
2
3
4
5
6
7
...
231
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users