users April 2022

users@lists.genode.org

15 participants
8 discussions

Announcement: Sculpt OS 22.04 released
by Christian Helmuth 18 May '22

18 May '22

Hello everyone, today we released version 22.04 of the Sculpt operating system, which as always incorporates all improvements in Genode of the past months. https://genode.org/news/sculpt-os-release-22.04 The most prominent changes are: - Completely new drivers for Intel wireless, Intel graphics and USB2/3 host controllers - Service-level sandboxing - Hardware-accelerated graphics for guest operating systems in VirtualBox It goes without saying that the new release is accompanied with an updated manual: https://genode.org/documentation/articles/sculpt-22-04 https://genode.org/documentation/sculpt-22-04.pdf A ready-to-use disk image is provided at the Sculpt download page: https://genode.org/download/sculpt Happy Sculpting Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

Unable to run prepare_port for "libc" target
by Timo Nicolai 29 Apr '22

29 Apr '22

Hello, I'm trying to run Genode for the first time and I've noticed that the prepare_port script seems to fail for the "libc" target on the current master branch. I'm getting: libc extract src.txz (libc) xz: (stdin): File format not recognized tar: Child returned status 1 tar: Error is not recoverable: exiting now Hard to see what the actual issue here is, I have xz version 5.2.5 installed if that helps. Best regards, Timo Nicolai

2 1

Re: users Digest, Vol 48, Issue 9
by Turlough Suilleabhain 28 Apr '22

28 Apr '22

> On 25Apr, 2022, at 06:00, users-request(a)lists.genode.org wrote: > > Send users mailing list submissions to > users(a)lists.genode.org > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.genode.org/listinfo/users > or, via email, send a message with subject or body 'help' to > users-request(a)lists.genode.org > > You can reach the person managing the list at > users-owner(a)lists.genode.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of users digest..." > > > Today's Topics: > > 1. Re: Design Question about implementing RPC on top of IPC > (Sid Agrawal) > 2. Re: Design Question about implementing RPC on top of IPC > (Christian Helmuth) > 3. Re: Design Question about implementing RPC on top of IPC > (Norman Feske) > > > ---------------------------------------------------------------------- > > Message: 2 > Date: Mon, 25 Apr 2022 08:30:09 +0200 > From: Christian Helmuth <christian.helmuth(a)genode-labs.com> > To: users(a)lists.genode.org > Subject: Re: Design Question about implementing RPC on top of IPC > Message-ID: <20220425063009.GB2097(a)genode-labs.com> > Content-Type: text/plain; charset=utf-8 > > Hello Sid, > > are your aware of the article series about "Genode on seL4" [1]? > Especially the section about "Translation of capabilities aka > unwrapping" [2] may be of interest to you. > > [1] https://genode.org/documentation/articles/index > [2] https://genode.org/documentation/articles/sel4_part_2#Translation_of_capabi… > > Regards > -- > Christian Helmuth > Genode Labs > > https://www.genode-labs.com/ ? https://genode.org/ > https://twitter.com/GenodeLabs ? https://genodians.org/ > > Genode Labs GmbH ? Amtsgericht Dresden ? HRB 28424 ? Sitz Dresden > Gesch?ftsf?hrer: Dr.-Ing. Norman Feske, Christian Helmuth Hello Christian, Would it be possible to have publication & any modification dates added to these articles ? I know for me, that would help place the articles in context to other ongoing developments. Thanks, Turlough

3 2

Building a computer to run sculpt
by Pirmin Duss 28 Apr '22

28 Apr '22

Hello Genodians I would like to build a computer to run sculpt on. I have some parts that at the moment only collect dust. I would like to build a computer to run sculpt on from these and some that I will buy new (CPU / Mainboard). From the unofficial Genode HCL (http://usr.sysret.de/jws/genode/hcl.html) I would guess a 10th generation Intel with integrated graphics would be a good a save starting ground. As the mainboard I would use a ASUS MB PRO Q570M-C which is 11th generation ready. The reason for this MB is that the Q570 chipset supports AMT which would allow me to debug problems via Ethernet. Do you think that a system built with these components would run sculpt well or are there some pitfalls that I have overlooked? Best regards, Pirmin

4 4

Design Question about implementing RPC on top of IPC
by Sid Agrawal 25 Apr '22

25 Apr '22

Hi Genode, I am building userspace on seL4 directly and have run into a design issue. I am implementing server and client using badged endpoints. I think Genode would have run into the same issue, and I would like to understand better how Genode solves it. It is not directly a Genode question, but I would benefit from your experience. Below I have laid out the scenario, the issue, and some questions. *Scenario* I have a userspace server that implements the functionality for an object(say type obj_T1). The server hands out badged-endpoints to clients to interact with this object. The badge is the virtual address of the object's struct in the server’s virtual address space. A client can interact with the object by sending messages on this badged endpoint. The client never learns the badge value. The kernel extracts the badged value when the server receives a message on this endpoint. By using the badge value, the server knows which object the client is trying to manipulate. The same PD, which implements the 1st server, also implements another server(in a separate thread, but same address space) for another object type (say type obj_T2). The server follows the same paradigm of handing out badged endpoints and using the badges values to keep track of the object. *Issue* I have a scenario where the client wants to invoke the functionality of obj_T1. This functionality needs access to obj_T2 as well. The client has badged EP caps to both objects. The client can invoke the badged EP handed out by server-1 for obj_T1 and give the badged EP of obj_T2 as an extraCap in the IPC message(or vice versa). Since the server has no way to look up the badge of the second cap, it cannot look up the underlying object for obj_T2. So my questions are: 1. Is there a way for a PD to look up the badge value of badged EP? I think the answer is no, but I thought I would still ask. 2. Is my idea of using the badge to keep track of the underlying object on the right track? Is there a better way of going about doing it? 3. As a potential solution, I can extend my server to add a new function, say GETID, which returns the badge value of a given object(i.e., EP). Since I know that the server always badges the EP with the virtual address of the struct, it is a trivial call to implement. But I somehow feel like this is not a neat idea, not quite sure why. Thanks for the help, everyone! Thanks, Sid Graduate Student @ UBC sid-agrawal.ca

4 6

Sculpt OS 22.04 Release Candidate (RC)
by Christian Helmuth 20 Apr '22

20 Apr '22

Hello community, today we published a Release Candidate of the Sculpt operating system for x86-PC. During the last months we worked hard to apply our reimagined Linux-device-driver environment also to PC devices and updated drivers for USB, Wifi, and Intel graphics to a recent Linux kernel version. This opens the prospect to support new PC platforms (speak recent notebook devices) more easily in future releases. The upcoming version of Sculpt replaces multiple integral device drivers at once. For this reason, we concluded to pre-release an RC and invite all Sculpt users to test it in their current setups. Please feel to report back any regression, flaw, or oddity on this list or the issue tracker over the next couple of days, so we can address them before the final release. The release candidate is based on the current master branch https://github.com/genodelabs/genode/commit/8ece2366354c941ad2206f3d511cd75… and can be downloaded as ready-to-use disk image from https://genode.org/files/sculpt/sculpt-22-04rc.img https://genode.org/files/sculpt/sculpt-22-04rc.img.asc (GPG signature) Happy testing Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

7 9

Genode and Ansible/Salt
by reza.fathzadeh＠yahoo.com 13 Apr '22

13 Apr '22

Hello Genodians, A quick question: has there been any attempts to make Ansible/SaltStack work with Genode / SculptOS ?

4 4

Genode and OpenZFS?
by reza.fathzadeh＠yahoo.com 06 Apr '22

06 Apr '22

Hello Genodians, A second quick question in another thread: Does Genode /SculptOS support alternative file systems like ZFS/XFS/BTRFS?

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users April 2022