users

users@lists.genode.org

4 participants
2327 discussions

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

Goa - How to satisfy find_package()?
by Spencer 24 Jul '24

24 Jul '24

Hopefully a simple question- I am trying to port a CMake project (arcan <https://github.com/letoram/arcan/tree/master>) that uses Freetype and looks for it using find_package(Freetype REQUIRED QUIET). I've added 'freetype' to 'used_apis' but that did not seem to make it happy. Worth noting, I am doing this in a separate directory from my Genode git clone, I assume that is not a problem? This article <https://genodians.org/jschlatow/2024-01-11-lomiri-calculator-porting> seems to suggest that there is a way to add a CMake file that satisfies it. I found this file <https://github.com/Manabu-GT/sdl_core/blob/aed19cd68e02b11e27275c05e00cf242…> on github, but I don't understand what it's doing and it's not the same one referenced in the article. Additionally, the arcan cmake <https://github.com/letoram/arcan/blob/master/src/CMakeLists.txt> calls for find_package(Threads REQUIRED) and fails here too. I see that PThreads seem to be supported in the libc port, and foundations 8.13.1 gives a genode native way of starting threads. I assume the method for this is similar to the one for Freetype?

5 7

Finally part of the PinePhone club
by ttcoder＠netcourrier.com 24 Jul '24

24 Jul '24

Howdy all, I mentionned before my SD card woes, which I suspected were the reason I couldn't do much WiFi-based testing of SculptOS on the P.P. Well yesterday I 'stumbled' on yet another SD card to test with (it must be at least the third one) and -- drumrolls -- now everything works 'nominally'. So let it be known to current and future testers, "if at first you don't succeed, keep trying out several SD cards until you find one that does work" (of note: it does not seem to be the pinephone hardware which is at fault, since even MS Win running Etcher or Rufus sometimes fails to "burn" an SD card, even though its "find bad blocks" feature does not reveal anything... it's starting to look to me as the situation in the bad old days of 3.5" floppy disks when you could expect several disks in a ten-disk box to be bad). Anyway, with this newfound no-name micro SD card/4GB that works (compared to the previously tested 16 and 32 GB that fail in various interesting ways), it's now possible for me to, boot SculptOS, expand the partition size (the UI now returns control in a couple seconds after the expand, yay), make it the "Default" partition, enable WiFi and type a password, and then update the system (used that feature to update from genodelabs/sculpt-pinephone-2024-04-26 to genodelabs/sculpt-pinephone-2024-05-02) and of course, try out various Preset's. Most Preset scenarios run, except for the more RAM hungry ones which get stuck on resource requests (from what I can make out after donning my reading glasses), like "Morph web browser" -- indeed as noted in the Genodians.org articles, so that was expected. I should have selected a pinephone variant with more RAM to truly be a "first class citizen".. oh well -- will keep checking future updates though, as they are bound to introduce new presets and features, both at the high-end and at the low-end of RAM consumption, and it litterally takes just a few seconds with the on-target updater to upgrade to a new SculptOS image once it's released (well done!). Cedric

1 0

File vault performance
by mntn 19 Jul '24

19 Jul '24

Hi, I was wondering if anyone else has had problems with file vault performance. I tested a Debian VM with and without the file vault and performance was noticeably impacted by its use. Additionally, heavy file vault I/O (copying lots of data or growing the vault) seems to tie up one of the CPUs completely, although the top tool shows that the nvme fs component is taking more of the CPU load than the file vault, which surprised me... but that may just be an artifact of the parent/child relationship. For some specific numbers: ~47% load for init -> runtime -> nvme-1.3.fs ~14% load for init -> runtime -> file_vault -> file_vault -> tresor ~8% load for init -> runtime -> nvme ~7% load for init -> runtime -> nvme-1.part All one one CPU, others were idle. This was while expanding file vault capacity from 30 to 64 GB. The process took over half an hour to complete (still running at time of this email). This is on a newer machine that supports AES-NI and which has no problem dealing with LUKS full disk encryption, so it surprised me to see these results.

2 3

← Newer
1
...
4
5
6
7
8
9
10
...
233
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users