users

users@lists.genode.org

1 participants
2310 discussions

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

Genode IDE ?
by John J. Karcher 30 Jul '24

30 Jul '24

Hello Everyone, Does anyone use an IDE for developing in Genode? If so, which one? How do you like it? Do you have any configuration and/or usage hints you can share? If not, are you interested? What is your favorite IDE candidate? I don't have any experience with integrating a new platform into an IDE, but it doesn't seem like it should be an insurmountable task (especially for someone who knows what they are doing :^) ). And it seems like it would make it easier for newcomers to explore the APIs. Just curious... Happy Sculpting! -- John J. Karcher devuser(a)alternateapproach.com

8 14

Proposal: Change to Markdown format instead of GOSH
by Jack Curran 29 Jul '24

29 Jul '24

Here is my corresponding GitHub issue to track the progress, discussions or changes/commits made in regards to this proposal: https://github.com/genodelabs/genode/issues/5303 I propose that Genode adopts Markdown instead of GOSH. Markdown has become the standard format for nearly all Open Source projects and Git hosting sites. GitHub, GitLab, Gitea and Codeberg/Forgejo all use Markdown, none support GOSH format. I can read Markdown in GitHub repositories using my Android phone with the GitHub app. I cannot read GOSH files on a phone or tablet. This makes it harder to read correctly rendered GOSH files compared to Markdown. If I want to read a rendered GOSH document(not in plain text), I must clone the Genode & GOSH repo, install GOSH & TCL/TK, export the GOSH files to HTML or LaTeX from the command line, then view in PDF or HTML viewer. This is not simple compared to Markdown which is rendered natively on almost any device. FOSS is a collaborative community. To make an open source project successful, It is important to use common formats and tools so the community can collaborate easily. The higher the barrier to entry, the less likely it is for people to bother contributing. Switching to Markdown does not lose the benefits of LaTeX. The Git hosting sites as listed above, support inline LaTeX rendering within Markdown documents for mathematical expressions and diagrams. Markdown is used on these Git hosting sites for writing documentation, wiki, comments, issues, README, blogs and web pages etc. Having an appealing looking GitHub repository is important as it could be the first time a user encounters the project, thus setting their first impressions. If using GOSH, which isn't rendered correctly, they may not decide to look further into the project as it looks unappealing. Most users won't try to learn or use GOSH because it is not a portable skill or format outside of the Genode projects. I would be happy to contribute by working on converting GOSH files to Markdown format. I have already converted all 9 README files of the 9 public Genodelabs GitHub repositories to Markdown. I could continue doing this. However I don't want to waste my time doing something that wouldn't be accepted by the Genode project. There is an automatic way to convert all the GOSH documents to Markdown. First, export GOSH documents to HTML or LaTeX. Then use a HTML or LaTeX to Markdown converter, then it will be automatically written to native Markdown. Thus saving manual labour. These tools can be used to convert from HTML to Markdown format automatically: https://github.com/jgm/pandoc (This one can convert from LaTeX or HTML to Markdown) https://github.com/showdownjs/showdown https://github.com/mixmark-io/turndown

4 8

Proposal: Depot User Repository Website - Like Flathub
by Jack Curran 28 Jul '24

28 Jul '24

I think it would be great to have a website like https://flathub.org/ where we have individual pages for user submitted depot applications that you can then add extra metadata information to such as the Screenshots, description, source code links, programming languages used, licenses, statistics such as user downloads, user reviews, issues or comments, update/commit histories and notes, whether the user that owns/submits the application to the depot has been verified, i.e signed the Genode Contributors Agreement so that their submissions are tied to their identity, therefore you can choose to download it if you trust that user. Similar to the Flathub Flatpak permissions lists, it can also list what permissions it absolutely requires, i.e network access, and which are optional, i.e that you can use blackhole for. If you browse https://flathub.org/ you can see what I am suggesting. A similar website that allows Genode and Sculpt OS users to explore other user's depot's and application submissions. Currently, it is not very intuitive or easy to explore depots, or find extra information about them before deciding to install and use it or not. Having a user repository website would allow you to make more informed decisions and have more trust in what applications you are downloading. The user submitted applications can also be linked to the source code so that users that do not necessarily have trust, can gain it by auditing the source of the depot applications.

1 0

Genodians.com is giving 403 forbidden
by Spencer 25 Jul '24

25 Jul '24

title says it, just a heads up

2 1

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users