users

users@lists.genode.org

1 participants
2310 discussions

Start a nNew thread

ath9k usb Wi-Fi driver
by Colin Parker 23 Jun '23

23 Jun '23

4 24

Intel MPK | ARM MTE
by Sid Agrawal 12 Jun '23

12 Jun '23

Hi Both ARM[1] and Intel[2] have features to hide parts of the address space from the rest of the program. The motivation of these hardware features is typically to hide the data of the app from a library or vice-versa. Both of them use unused bits in the PageTableEntry to store news (about 4 bits) in size. ARM's feature is called MTE and there is no hardware yet which supports this, Intel has been shipping chips with MPK for a few years. Has the Genode community thought about how such a feature could be implemented in Genode? If not, I will start digging in and reach out as I run into issues. I would suspect it would affect the RM and DS cap types. Best, Sid [1] https://www.kernel.org/doc/html/latest/arm64/memory-tagging-extension.html [2] https://www.kernel.org/doc/html/latest/core-api/protection-keys.html

1 0

Running SQLite
by Sid Agrawal 11 Jun '23

11 Jun '23

Hi, I would like to run SQLite inside a Genode process. I could not find a run recipe or a dir in libports. Has someone tried in the past? If so, can you please point me in the right direction? Best, Sid PhD UBC sid-agrawal.ca

2 3

Re: PinePhone Sculpt SD Card Problem (was: Re: Announcement: Sculpt OS 23.04 released)
by ttcoder＠netcourrier.com 09 Jun '23

09 Jun '23

My test result FWIW, > > I had a similar, but not identical, situation on my 3GB version. In my > > case, anything involving writing (expand, default, etc.) would never > > complete, but slow the system to a crawl in the process. > > > > […] > > could you both please try out my debug image [1]. We already got a similar > report from someone on the PinePhone forum [2] where changing the MMC > clocking back to previous setting did the trick. > > [1] https://genode.org/files/sculpt-pinephone-23.04-2023-05-09.img.xz > [2] https://forum.pine64.org/showthread.php?tid=14780&pid=117253#pid117253 No change for me -- boot-up takes a couple additional seconds (probably debugging/tracing enabled?) and the battery indicator says "AC" for a few seconds before displaying the percentage. I then proceeded to the setup steps, - Expand... Confirm... still returns immediately - Tapping "default" results in message "relabelling in progress" displayed for about a third of a second, i.e. it returns immediately too. FWIW, I have a bunch of SD cards/packages associated with this phone, EMTEC, Verbatim, etc. It seems the one I'm dd'ing the SculptOS image to is a 16 GB "Verbatim premium 80MB/s-read 533x (cl.1)" or some such. Later on I'll try to make a "swap" with another card, i.e. write LuneOS on that SD card, and write ScultpOS on the (ex) LuneOS card, in case the latter sd-card is more compatible than the former. Cedric

2 1

Re: fail to create sculpt boot image and failed to boot prebuilt image
by Alexander Boettcher 06 Jun '23

06 Jun '23

Hello, On 01.06.23 15:43, David Pfeiffer wrote: > Following the guide I get an error at step 7 of the guide: > <https://genode.org/documentation/articles/sculpt-23-04#Building_the_boot_im…> > > 7. Create the Sculpt boot image (defined by the run script at /repos/gems/run/sculpt.run/) > > make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc DEPOT=omit > > > The error is: > > make: Entering directory '/home/dave/Downloads/genode/build/x86_64' > /bin/bash: line 1: /usr/local/genode/tool/21.05/bin/genode-x86-g++: No such file or directory > dirname: missing operand > Try 'dirname --help' for more information./bin/bash: /home/dave/Downloads/genode/tool/run/run: /usr/bin/expect: bad interpreter: No such file or directory > make: *** [Makefile:431: run/sculpt] Error 126 > make: Leaving directory '/home/dave/Downloads/genode/build/x86_64' you seem to over-read the following of the guide: "The following steps assume that you have the Genode tool chain installed on a GNU/Linux system. For reference, Ubuntu LTS is known to work well. If you don't know your way around Genode's source tree yet, please consider the "Getting started" section of the Genode Foundations book that is available as a free download at https://genode.org." So, you seem not to setup the Genode tool chain and additional necessary tools. If one follow the description, you get to https://genode.org/documentation/genode-foundations/23.05/getting_started/i… > So then I simply tried to boot from a prebuilt image and upon booting I couldn't get past the Genode boot.png > > I'm running on a Lenovo YOGA intel i7-8565U, building on Void Linux. > it seems to be an very early boot issue, which will not be easy to debug remotely (- to get an idea follow the thread of [0] for). In principle, your notebook should be fine. So, either try another machine if you just want to get an idea of Sculpt, or we may try different things along the lines of [0], if you are interested. Cheers, Alex. [0] https://lists.genode.org/pipermail/users/2023-February/008492.html > Any help is much appreciated. > > Dave > > > > > _______________________________________________ > Genode users mailing list > users(a)lists.genode.org > https://lists.genode.org/listinfo/users -- Alexander Boettcher Genode Labs https://www.genodians.org - https://www.genode.org

2 5

signal() genode support
by Alexander Tormasov 02 Jun '23

02 Jun '23

in release notes to 23.05 related to rust support I found the following: «After adding the signal(3) interface…» how to borrow this support in my C code? is it available for anyone in current genode release or it is necessary to port from rust support? Alexander

2 1

Wireguard with remote peer
by Stefan Thöni 01 Jun '23

01 Jun '23

Dear Genodians We are looking into using wireguard to access sensor nodes connected by a genode-powered gateway through a wireguard server running on Linux. By trying this, we discovered that the wireguard connection works only once, and upon restart of the runscript yields "Invalid handshake initiation" in the servers log. We based on a post by wireguard developer Jason Donenfeld [1] (key phrase: "WireGuard relies on a timestamp counter always moving forward.") we concluded that this problem is caused by DDE restarting at time zero instead of using an RTC connection, thereby triggering wireguard's replay protection mechanism on the server peer. We're not sure how to best fix the problem. Do you have any suggestions? [1] https://inbox.vuxu.org/wireguard/7aa9fe5e-2ae2-cf8b-ae6d-d98de2031b44@poste… Best Regards Stefan Thöni gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 3

fail to create sculpt boot image and failed to boot prebuilt image
by David Pfeiffer 01 Jun '23

01 Jun '23

Following the guide I get an error at step 7 of the guide: <https://genode.org/documentation/articles/sculpt-23-04#Building_the_boot_im…> 7. Create the Sculpt boot image (defined by the run script at /repos/gems/run/sculpt.run/) make -C build/x86_64 run/sculpt KERNEL=nova BOARD=pc DEPOT=omit The error is: make: Entering directory '/home/dave/Downloads/genode/build/x86_64' /bin/bash: line 1: /usr/local/genode/tool/21.05/bin/genode-x86-g++: No such file or directory dirname: missing operand Try 'dirname --help' for more information./bin/bash: /home/dave/Downloads/genode/tool/run/run: /usr/bin/expect: bad interpreter: No such file or directory make: *** [Makefile:431: run/sculpt] Error 126 make: Leaving directory '/home/dave/Downloads/genode/build/x86_64' I've edited the build.conf as directed in step 5. I am on branch 23.04 yet the VERSION file contains 23.02 which I thought was odd. Also, I'm not sure wy it's looking for '/usr/local/genode/tool/21.05/bin/genode-x86-g++' at all. So then I simply tried to boot from a prebuilt image and upon booting I couldn't get past the Genode boot.png I'm running on a Lenovo YOGA intel i7-8565U, building on Void Linux. Any help is much appreciated. Dave

1 0

PinePhone Sculpt Success
by John J. Karcher 24 May '23

24 May '23

Hello All, I am happy to report that, after switching to a new SD card, I had immediate success installing and running PinePhone Sculpt (3GB developer edition). Everything works as expected (except the SIM card, which I can investigate further). No more sluggishness or problems with screen flickering. At first, I thought "osci" wasn't working, but then I noticed that the microphone was set to "Phone" instead of "On", and changing that solved the problem. PEBKAC! ;^) I would like to say that I really like the Leitzentrale design. The overall section-based design is clean and easy to navigate by finger, and the presets concept is really handy. The software adding/updating system is really nice, and translates surprisingly well to the small screen / touch interface. One minor touch that I really appreciate is the Software section status bar ("...", "!", etc.), which is subtle but highly informative, even when looking at other sections - the "Genode Way" even in small details! (Likewise for the "+" indicator for charging.) Overall, this is very impressive! I can't wait to see the progress continue, but I already leave the phone on all day with Sculpt running, even though I'm not really using it, just because it's fun and gives me hope for the future. :^) Actually, with a few more simple apps, utilities, and/or games, I think the system is ready to be useful already. Thanks for all the hard work! Happy Sculpting! John J. Karcher devuser(a)alternateapproach.com

1 0

Fetches failing for latest img Sculpt PP
by Sagar Acharya 22 May '23

22 May '23

Dear Devs, Kudos to the team on the progress on Sculpt OS for Pinephone. I have flashed it on 3GB RAM convergence edition. Going to storage option, I enable use of 16GB memory card on which Sculpt is flashed and after connecting to WiFi when I load any preset, say of gpu test, Status shows it tried to fetch, then it switches to unavailable and then it shows failed for all pkg s. While fetching mesa gpu-lima gpu drv. Thanking you Sagar Acharya http://humaaraartha.in <https://humaaraartha.in> P.S. 5GHz band is not available in options.

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users