users

users@lists.genode.org

3 participants
2304 discussions

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

depot_download troubles
by Stefan Thöni 16 Jul '24

16 Jul '24

Dear Genodians After updating to genode 24.04 we found an intermittent problem involving the depot_download runscript in very specific circumstances. The problem manifests itself by fetchurl getting stuck for more than 10 seconds downloading a signature file, then aborting with the message 'Error: Operation was aborted by an application callback (code=0)'. Next fetchurl sucessfully downloads the archive file but then signature verification fails because no signature was downloaded. Some debugging revealed that in the error case the DNS response is forwarded by the nic_router a few milliseconds after the request but is not read by the fetchurl application until immediately before the abortion message, e.g. more than 10 seconds later. Further debugging is difficult since this Heisebug disappears when more output slows down execution. For illustration I've added an excerpt from the log below. The problem occurs infrequently and only under very specific circumstances: * using kernel base-hw running on qemu * on our gitlab CI/CD runner inside docker * on two distinct physical servers at our hoster We have unsucessfully tried to reproduce the problem as follows: * on the same physical machines manually started inside and outside docker * on other multiple physical machines using an identical gitlab CI/CD runner setup The problem occurs with both lxip and lwip network stack. The problem seems to disappear when we run the network stack (lxip/lwip) inside the fetchurl process instead of a separate vfs. We think we hit a very peculiar corner case of signalling between the network stack running in a separate vfs and the libc socket plugin. We would greatly appriciate any insight of what might be amiss or any suggestion how we could proceed with debugging. Best regards Stefan [2024-07-03 09:17:20.687416] [init -> report_rom] report 'depot_download -> state' [2024-07-03 09:17:20.688199] [init -> report_rom] <state progress="yes"> [2024-07-03 09:17:20.689929] [init -> report_rom] <archive path="gapstage/pkg/http_client_server_demo/2023-11-09" state="download" total="0" now="0"/> [2024-07-03 09:17:20.690572] [init -> report_rom] </state> [2024-07-03 09:17:20.775999] [init -> depot_download -> report_rom-fetchurl] report 'dynamic -> fetchurl -> progress' [2024-07-03 09:17:20.776670] [init -> depot_download -> report_rom-fetchurl] <progress> [2024-07-03 09:17:20.778610] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0"/> [2024-07-03 09:17:20.780845] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0"/> [2024-07-03 09:17:20.781492] [init -> depot_download -> report_rom-fetchurl] </progress> [2024-07-03 09:17:20.782465] [init -> report_rom] report 'depot_download -> state' [2024-07-03 09:17:20.783111] [init -> report_rom] <state progress="yes"> [2024-07-03 09:17:20.784645] [init -> report_rom] <archive path="gapstage/pkg/http_client_server_demo/2023-11-09" state="download" total="0" now="0"/> [2024-07-03 09:17:20.784974] [init -> report_rom] </state> [2024-07-03 09:17:20.786612] [init -> depot_download -> dynamic -> fetchurl] fetch http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-… [2024-07-03 09:17:20.802449] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=9 name= [2024-07-03 09:17:20.818176] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::write() >>>>> src.length=11 name= [2024-07-03 09:17:20.819180] [init -> depot_download -> tcpip] Warning: | [2024-07-03 09:17:20.819871] [init -> depot_download -> tcpip] Warning: | 10.0.2.3:53 [2024-07-03 09:17:20.822032] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=9 name= [2024-07-03 09:17:20.824025] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::write() >>>>> src.length=40 name= [2024-07-03 09:17:20.824679] [init -> depot_download -> tcpip] Warning: | [2024-07-03 09:17:20.826310] [init -> depot_download -> tcpip] Warning: | CB...........dev.depot.gapfruit.com..... [2024-07-03 09:17:20.829221] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:20.830848] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:21.065728] [init -> depot_download -> report_rom-fetchurl] report 'dynamic -> fetchurl -> progress' [2024-07-03 09:17:21.066344] [init -> depot_download -> report_rom-fetchurl] <progress> [2024-07-03 09:17:21.068594] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0"/> [2024-07-03 09:17:21.070546] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0"/> [2024-07-03 09:17:21.071200] [init -> depot_download -> report_rom-fetchurl] </progress> ... (many more reports of zero progress) [2024-07-03 09:17:33.015603] [init -> depot_download -> report_rom-fetchurl] report 'dynamic -> fetchurl -> progress' [2024-07-03 09:17:33.016567] [init -> depot_download -> report_rom-fetchurl] <progress> [2024-07-03 09:17:33.018731] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0" timeout="true"/> [2024-07-03 09:17:33.020665] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0"/> [2024-07-03 09:17:33.021626] [init -> depot_download -> report_rom-fetchurl] </progress> [2024-07-03 09:17:33.066395] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=12 name= [2024-07-03 09:17:33.067928] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=56 name= [2024-07-03 09:17:33.072760] [init -> depot_download -> dynamic -> fetchurl] Error: Operation was aborted by an application callback (code=0), failed to fetch http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-… [2024-07-03 09:17:33.074300] [init -> depot_download -> dynamic -> fetchurl] fetch http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-… [2024-07-03 09:17:33.080683] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=9 name= [2024-07-03 09:17:33.094847] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::write() >>>>> src.length=11 name= [2024-07-03 09:17:33.095631] [init -> depot_download -> tcpip] Warning: | [2024-07-03 09:17:33.096409] [init -> depot_download -> tcpip] Warning: | 10.0.2.3:53 [2024-07-03 09:17:33.098564] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=9 name= [2024-07-03 09:17:33.100202] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::write() >>>>> src.length=40 name= [2024-07-03 09:17:33.100989] [init -> depot_download -> tcpip] Warning: | [2024-07-03 09:17:33.102030] [init -> depot_download -> tcpip] Warning: | 2i...........dev.depot.gapfruit.com..... [2024-07-03 09:17:33.104395] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.106800] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=12 name= [2024-07-03 09:17:33.108505] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=56 name= [2024-07-03 09:17:33.118989] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::write() >>>>> src.length=16 name= [2024-07-03 09:17:33.119804] [init -> depot_download -> tcpip] Warning: | [2024-07-03 09:17:33.120599] [init -> depot_download -> tcpip] Warning: | 83.166.133.92:80 [2024-07-03 09:17:33.122640] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.124381] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=15 name= [2024-07-03 09:17:33.170773] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.173216] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=9 name= [2024-07-03 09:17:33.175279] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=15 name= [2024-07-03 09:17:33.177831] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=15 name= [2024-07-03 09:17:33.180810] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=15 name= [2024-07-03 09:17:33.181887] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::write() >>>>> src.length=143 name= [2024-07-03 09:17:33.182025] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.182234] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.218590] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.220428] [init -> depot_download -> tcpip] Warning: Lxip_vfs_file_handle::read() >>>>> dst.length=1690 name= [2024-07-03 09:17:33.222224] [init -> depot_download -> report_rom-fetchurl] report 'dynamic -> fetchurl -> progress' [2024-07-03 09:17:33.222838] [init -> depot_download -> report_rom-fetchurl] <progress> [2024-07-03 09:17:33.225334] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="0.0" now="0.0" timeout="true"/> [2024-07-03 09:17:33.227218] [init -> depot_download -> report_rom-fetchurl] <fetch url="http://dev.depot.gapfruit.com/gapstage/pkg/http_client_server_demo/2023-11-…" total="1412.0" now="1412.0"/> [2024-07-03 09:17:33.228017] [init -> depot_download -> report_rom-fetchurl] </progress> [2024-07-03 09:17:33.235666] [init -> report_rom] report 'depot_download -> state' [2024-07-03 09:17:33.236203] [init -> report_rom] <state progress="yes"> [2024-07-03 09:17:33.237418] [init -> report_rom] <archive path="gapstage/pkg/http_client_server_demo/2023-11-09" state="fetched"/> [2024-07-03 09:17:33.238035] [init -> report_rom] </state> [2024-07-03 09:17:33.238657] [init -> report_rom] report 'depot_download -> state' [2024-07-03 09:17:33.239417] [init -> report_rom] <state progress="yes"> [2024-07-03 09:17:33.240663] [init -> report_rom] <archive path="gapstage/pkg/http_client_server_demo/2023-11-09" state="verify"/> [2024-07-03 09:17:33.240973] [init -> report_rom] </state> [2024-07-03 09:17:33.250585] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.252277] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.289341] [init -> depot_download -> dynamic -> verify] /public/gapstage/pkg/http_client_server_demo/2023-11-09.tar.xz: bad signature [2024-07-03 09:17:33.291209] [init -> depot_download -> manager] Error: signature check failed for 'gapstage/pkg/http_client_server_demo/2023-11-09' (bad signature) [2024-07-03 09:17:33.292338] [init -> report_rom] report 'depot_download -> state' [2024-07-03 09:17:33.293402] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.294471] [init -> depot_download -> tcpip] Warning: Lxip_factory::socket_progress() >>>>> [2024-07-03 09:17:33.295748] [init -> report_rom] <state progress="yes"> [2024-07-03 09:17:33.296838] [init -> report_rom] <archive path="gapstage/pkg/http_client_serveError: Test execution timed out while waiting for ".*path="gapstage/pkg/http_client_server_demo/2023-11-09" state="done".*.*path="genodelabs/pkg/wm/2019-03-17" state="done".*.*path="genodelabs/index/19.03" state="failed".*" make: *** [Makefile:449: run/depot_download-gapfruit-internal_init] Error 254 r_demo/2023-11-09" state="corrupted"/> [2024-07-03 09:17:33.297432] [init -> report_rom] </state> [2024-07-03 09:17:33.311050] [init -> depot_download -> manager] installation complete. [2024-07-03 09:17:33.313447] [init -> report_rom] report 'depot_download -> state' [2024-07-03 09:17:33.313475] [init -> report_rom] <state> [2024-07-03 09:17:33.313716] [init -> report_rom] <archive path="gapstage/pkg/http_client_server_demo/2023-11-09" state="failed"/> [2024-07-03 09:17:33.314796] [init -> report_rom] <archive path="genodelabs/pkg/wm/2019-03-17" state="done"/> [2024-07-03 09:17:33.315881] [init -> report_rom] <index path="genodelabs/index/19.03" state="failed"/> [2024-07-03 09:17:33.316150] [init -> report_rom] </state> [2024-07-03 09:17:33.318112] [init -> depot_download -> manager] installation complete.

2 3

Pull requests. Staging or Master branch?
by Jack Curran 16 Jul '24

16 Jul '24

Hello, I have made some pull requests. I have just updated some readme files to markdown format. As far as I understand pull requests are a request to introduce/upload my changes to the Genode repository. This is my first time ever using/learning git, so I am not very familiar with how it works. I see that there are two branches in the genode repository, Master and Staging. Staging seems to be the most active branch where new changes are being introduced before an official release? Is the master branch supposed to be a copy of the latest public release and is only updated every time a full public release is announced? Staging seems to be the active development branch. So I made my pull request to that branch. Although I am not sure which branch I am supposed to make pull requests to? The genode contributions page says to make pull requests to the master branch. > As a rule of thumb, every line of development should have a corresponding issue in the issue tracker. > This will be the place where we will discuss your ongoing work. If there is no issue for your topic, please create one. > Once there exists the issue with a short description about what your line of work is about, create a new topic branch based on the genodelabs/master branch.

3 6

Converted Genode, Goa and Genodians.org Github repositories README files to markdown
by Jack Curran 13 Jul '24

13 Jul '24

Hello, I have made 3 pull requests for the Genode, Goa and Genodians.org Github repositories. I have changed the README file to README.md to make it a markdown file. Nearly all big Github repositories use README.md markdown files as it allows the creation of more sophisticated and professional Github pages. I would appreciate any feedback on the changes. You can view my changes on my Github forks: https://github.com/axiomsss/goa https://github.com/axiomsss/genode https://github.com/axiomsss/genodians.org Thanks.

1 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