users

users@lists.genode.org

2 participants
2322 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

error in building boot image Sculpt OS
by vasvi sharma 16 May '22

16 May '22

Good Afternoon I am new to Sculpt OS and I was working on building genode from source code and then later on building boot image (sculpt OS). I faced an issue while working on the boot image when I run the following line : make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc Error presented with and without debug in the image shown below (image 1 and 2) . I also noticed the error changed if I revert the changes I made in build.conf for building genode from source code (image 3) asboth the process required modifying the same file. This was the official document like via which I tried to build boot image : https://genode.org/documentation/articles/sculpt-22-04#Building_the_boot_im… How should I resolve this issue ? Thanks Vasvi

3 5

VirtualBox Questions
by John J. Karcher 15 May '22

15 May '22

Hello Everyone, Moving my main VistualBox VM to Sculpt has been mostly successful (and very encouraging), but I have two main problems that are keeping me from switching to it as the daily driver. Hopefully these are easy questions... 1. How do you specify the window size of the VM? 2. I need to use "Bridged Networking" for access to certain things on my LAN, but it looks like the VM is using NAT. I have tried poking around in the vbox6 file, but I don't know if there is more to it than that. Any help would be appreciated! Thanks! -- John J. Karcher devuser(a)alternateapproach.com

1 0

restarting child components with resource saturation
by Duss Pirmin 12 May '22

12 May '22

Hello Genodians We have a somewhat complex scenario consisting of a hand full of components and (sub-)inits. The outermost deploy-config starts, besides others, the following components: - vfs - report_rom and other helper components - init (drivers runtime) - init (management runtime) - init (dynamic runtime, ram/cap saturation) The runtimes are configured via a deploy-config. Most components and runtimes depend on the file system provided by vfs. When restarting vfs by incrementing the version attribute, some components that depend on vfs don't get any resources any more after being restarted. In the state reports of init I see that the RAM quota for some subsystems decreases after the restart of vfs. For some it increases for a short time but goes back down again. For most, including dynamic runtime, it stays constant for the whole time. I wasn't able to create a simpler example that shows the same error. Does anybody have an idea in which direction I could investigate? Best regards, Pirmin

2 3

One Small Step For Genode...
by John J. Karcher 12 May '22

12 May '22

... one giant leap for a Genode enthusiast! ( OK, I exaggerated - it's not really a step for Genode at all, but it is a huge leap for me! ;^) ) After being extremely short of time for about a year, I finally used the 22.04 release to take my first steps toward using Genode as my daily driver OS, mainly by using VirtualBox 6 to run my existing VMs under Sculpt. I still have some problems to work out before I can make the official transition, and I will probably have a fair number of "new user" questions here soon, but I am highly impressed with the state of the system. In the beginning, I will probably continue to do most tasks within the Linux VMs, but I am really looking forward to gradually shifting applications to running directly on Genode as they (or native alternatives) become available. If any daily users have tips to share, I'll certainly be listening! (If I come up with anything helpful, I will try to write it up for Genodians also.) One thing I am very curious about is the state of the various packages in the depots - some of those look very intriguing! The bottom line: Thanks to the Genode devs and community members for making this possible! Happy Sculpting! John J. Karcher devuser(a)alternateapproach.com

2 2

x86 Sculpt Experience
by Sagar Acharya 06 May '22

06 May '22

I tried 22-04 img on Intel i5. Considering the problems I've faced with Qubes, etc. in past, for such a 1st img , please accept my standing ovation and claps for the whole team. GUI loading and stability was awesome. 10/10 for 1st image. I have some feedback. 1. Mouse using my trackpad was very difficult to manage, it wasn't stable. 2. There's no shutdown button, poweroff button and no instructions in documentation on how to do so. I had to use hardware based shutdown which definitely harms my hardware. I wasn't able to use ramfs depot to download genodelabs tools. I'd try it after a shutdown button is introduced as hardware shutdown messes my hardware. Thanking you Sagar Acharya

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users