users

users@lists.genode.org

2357 discussions

Pinebook Pro
by Michael Grunditz 26 Aug '24

26 Aug '24

Hi everyone! I thought that it would be cool to have Genode on Pinebook Pro ( RK3399) Almost there: http://micken.se/pix/genode_pbp.jpg The pixelformat is wrong .. so strange colours. Michael

3 12

fs_tool error
by Rumen Mitov 24 Aug '24

24 Aug '24

Hello, I have been stuck on this linker error for a while now, and I was wondering if anyone knows how to fix it? I have attached the log file, the run script, the target.mk file, and the three program files (squid.cc and squid.h are based on the code I found in fs_tool). Best, Rumen

1 1

ext4.h not found
by Rumen Mitov 20 Aug '24

20 Aug '24

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

3 3

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

← Newer
1
...
6
7
8
9
10
11
12
...
236
Older →

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users