users

users@lists.genode.org

1 participants
2317 discussions

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

VNC server thoughts
by ttcoder＠netcourrier.com 15 May '23

15 May '23

Dear Genodians, Late this week I decided it was time to add a VNC server to my "suite", spent a bit of time on that, here's my feedback. Skip to bottom for "actionable" stuff. My first instinct was to grep repos/ genode-world for the string "vnc" since those two are my go-to places to find ports. Found VNC-related libs and a "hello world" style example server. (its Makefile seems to need tweaking BTW). Checked out https://genode.org/about/challenges and indeed VNC server is listed there as a potential future task. So that settled it, I thought, I will have to wait until someone volunteers (or volunteer myself). But reading more carefully, I noted it referenced the old "Framebuffer" interface instead of the up-to-date "Gui" interface, and "Input" instead of "Events". So that prompted me to also grep my internal notes and... found a reference to https://genodians.org/jschlatow/2021-06-09-vnc-server , which addresses my need neatly. Yay ! It seems to require a one-liner patch though, otherwise it crashes with a "invalid zero alloc" style message. So I just went ahead and hardcoded a non-empty initial _area (setting it to 320,200) on the first line of this constructor here (_area gets set to the correct screen size later in the code path anyway). Seems leaving it set to "capture.screensize" sets it to an empty area otherwise. https://github.com/jschlatow/goa-pkgs/blob/e881b9e236aa2c2d5083259f9dea68e4… Will look into adding password support etc but I'm already quite a happy camper at any rate, this propels me way ahead. *** Some low-priority recommendations (for after the 23.05 release when the dust settles): * maybe update (or remove) the "challenges" entry about a VNC server * maybe look into "make test/ vnc server example" : I solved the "example.o not found" error with a hackish hardcoding of the full path (strange that it's needed, the "vpath" gmake directive should suffice? my gmake skills are close to zero so not sure) * maybe look into the "zero alloc" crash. Cedric

2 2

[depot_autoremove] Removing outdated PGKs from the depot
by Alice Domage 12 May '23

12 May '23

Dear Genodians, With the democratization of Goa and the direction we are taking to use it more often in our workflow, we extensively create, upload, download, extract, and deploy PKGs on our devices. Inevitably, we filled up our storage with the depot, most notably on our arm_v8a-based gateway that only comes with 16Gb of eMMC. We need a strategy to clearly define what can be removed from the device and do it accordingly. I have sketched out a plan for implementing this feature and would like your opinion on that. Also, would you be interested in taking this upstream? I want to create a new component, 'depot_autoremove', that would be executed by the 'depot_download_manager' after the 'extract' step as an optional stage. The 'depot_autoremove' component will consume a config, the installation config, to identify a set of packages to keep installed. It will remove any other packages and orphan dependencies not part of that set. That would be the first iteration for this component. You may have already thought about this problem and might have an idea of how to solve it. 1. Is there already an existing solution to this problem that I have overlooked? 2. Is there an alternative approach that you would be more in favour of? 3. What is your opinion on this approach? Best, Alice Domage

3 11

Help with usb_report_filter
by Colin Parker 12 May '23

12 May '23

Hello, I'm trying to configure my usb driver to accept multiple possible vendor/product combinations. I found the component usb_report_filter, which as I understand consumes a usb devices report, and produces a usb configuration file with a matching policy and a report that my component can use to request the device. The report to my driver looks like this: <usb_devices> <device label="usb-1-2" vendor_id="0xcf3" product_id="0x9271" bus="0x1" dev="0x2"/> </usb_devices> and it makes sense so my driver requests a device called "usb-1-2". The corresponding usb configuration is: <config bios_handoff="true"><report devices="yes" config="yes"/> <raw> <report devices="yes"/> <policy label="wifi_drv -> usb-1-2" vendor_id="0xcf3" product_id="0x9271" bus="0x1" dev="0x2"/> </raw> </config> This seems like almost what I want, but somehow the <policy> node within the <raw> node seems to stop the driver from accepting this connection - I get a warning saying: [init -> usb_host_drv -> usb_drv] Warning: no policy defined for label 'wifi_drv -> usb-1-2' Am I using the component right? Is there a better way to do this? I followed the example in repos/ports/run/vbox5_genode_usb_hid_raw.run. Thanks, Colin

2 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users