users

users@lists.genode.org

2285 discussions

Genode on RK3588 and Emulation
by Michael Grunditz 26 Oct '22

26 Oct '22

Hi, I am planning to start porting Genode to RK3588 Soc any day now. On top of that a cpu emulator for running 32bit code. The little cpu in the soc supports 32bit , but the big doesn't in a decent way. I think the basic bringup will be easy, but after that it becomes harder. I still haven't seen a manual for the soc. I have seen a dts in uboot and with a bit of luck it works similar to RK3399. For the emulation I use Unicorn emulation engine. A stripped down qemu that only does cpu. I hope that porting that to Genode will be a easy project, it doesn't have much dependencies. I am currently hacking it bit to fit my needs. I plan to expose hardware directly to emulator, probaly by memory pointers that Genode sets up. First step is the all important debug uart. As for Genode I think the soc would be a great platform for Sculpt. However I have no interest in Sculpt , so will not do that. But since I will do the basics I guess that someone can do Sculpt on top of that. Cheers! -- Best regards, Michael Grunditz ** **

3 16

scripts/extract_cert failed OpenSSL/bio.h no file
by Maigurs Stalidzans 14 Oct '22

14 Oct '22

Hi all, I’m new to Genode and Sculpt, I am trying to build Sculpt from source as described here: https://genode.org/documentation/articles/sculpt-22-04#Building_the_boot_im…, but it always fails, when starting to build linux components. Failing begins when I add sculpt_distribution-pc. What I am doing wrong? Regards Maigurs

2 3

dde_linux: trying to port the emmc for arm_v8a driver from linux
by Jean-Adrien Domage 22 Sep '22

22 Sep '22

Dear Genodians, I am currently porting the emmc driver from the compulab's Linux source tree [1]. [1] https://github.com/compulab-yokneam/meta-bsp-imx8mm/blob/iot-gate-imx8_r3.0… Everything went more or less smoothly until I got to this assembler error: ``` /tmp/ccOLpMJW.s: Assembler messages: /tmp/ccOLpMJW.s:987: Error: section name '__irqchip_of_table' already defined as another symbol ``` This error message indicates a rather obvious error: It seems the symbol with that name is defined twice with different 'type' in different compilation units. However, when using grep I can find the symbol within `repos/dde_linux/src/lib/lx_emul/spec/arm/irqchip.c` but it is not that clear within the Linux source where it is defined. I assume in a linker script but I'm not sure at all. I couldn't find it using grep (not event a declaration, maybe some macro magic happen here). Which let me think that the error might not be due to what I actually think... I tried with nm & grep on each generated object in the build directory, but couldn't find the culprit either. I wonder if someone has some experience with dde_linux, whom may have some idea of what could be the causes? Or what I can try to debug it harder... PS: I am aware that some parts of the lx_emul layer may not work with this source tree, as it has a different version (5.10.72) from the one in use by dde_linux. I expect to have some trouble with this at some point, maybe this is the case already? Many thanks for reading me! Cheers, Jean-Adrien

4 4

Rust bindings?
by Sam Crow 08 Sep '22

08 Sep '22

Hello again!I was going to try to install Wasmer to Genode but it is written in Rust. Are there Rust bindings for Genode yet? If not, can I help get them going?

3 2

Using Quectel EG25-G in ECM mode on PC
by Duss Pirmin 04 Sep '22

04 Sep '22

Hello Genodians In the Release notes, I read that on the Pinephone it is possible to use the Quectel EG25-G in ECM mode to communicate over LTE. Which I find is a really great feature. We have a hardware (UP-Xtreme i7 8th gen) which comes with the same modem. I really like the idea of using the modem in this way. As far as I understand, the run script `run/modem_pinephone.run` of the `genode-allwinner` repository does exactly that. My plan is to create a PC version of `pinephone_modem` that controls the modem. Do you think, this is possible? Currently I do not have a idea what serial port I should use to connect to the command channel of the modem. On the Pinephone, `ns16550_uart` is used to do that. Which serial port should be used on the PC platform? Regards, Pirmin

2 3

Announcement: Genode OS Framework version 22.08 released
by Norman Feske 31 Aug '22

31 Aug '22

It's my pleasure to announce today's release of Genode version 22.08. The new version puts the spotlight on the emerging phone variant of Sculpt OS, which is the culmination of the intensive work towards our vision of a Genode-based smart phone over the past 18 months. For the first time, we are able to browse https://genodians.org via a mobile-data connection with Genode on the PinePhone! Calling me excited would be a gross understatement. With the growing sophistication of Genode systems like this comes the desire for system-wide performance analysis for taking informed optimization steps. This is where the new trace recorder enters the picture, which allows for the gathering of detailed behavioral traces of components and their interplay. As the first success story of the new tooling, the release profoundly improves Genode's network performance. It goes without saying that the new version touches many more topics. Here is a quick summary: - Emerging phone variant of Sculpt OS - Modem driver with support for telephony and mobile data - Drivers for USB, Mali-400 GPU, SD-card ported from Linux - Custom touch-friendly administrative user interface - Chromium-based Morph web browser - Enhanced tooling for system tracing - Improved network performance - USB networking via Ethernet control model - Optimizations of the Linux-device-driver environment - Qt5 updated to version 5.15.2 - Support for USB smart cards via PKCS#11 - VirtIO block, network, input, and display drivers for RISC-V - Improved UEFI support For the whole story, please enjoy the detailed release documentation: https://genode.org/documentation/release-notes/22.08 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

1 0

Missing pc_usb_host_drv and usb_hid_drv
by Sam Crow 26 Aug '22

26 Aug '22

Also posted at https://github.com/genodelabs/genode/issues/4593I'm trying out the Nova microhypervisor with the line:make run/demo KERNEL=nova BOARD=pcand I get the error:Error: incomplete or missing recipe (genodelabs/src/pc_usb_host_drv genodelabs/src/usb_hid_drv)I'm following the Genode Foundations 21.05 pdf and tried the typing in the suggested help message from the error handler:update depot: /home/samuraicrow/Documents/genode/tool/depot/create genodelabs/bin/x86_64/base-nova genodelabs/bin/x86_64/demo genodelabs/bin/x86_64/global_keys_handler genodelabs/bin/x86_64/init genodelabs/bin/x86_64/nit_focus genodelabs/bin/x86_64/nitpicker genodelabs/bin/x86_64/report_rom genodelabs/bin/x86_64/rom_filter genodelabs/pkg/x86_64/drivers_interactive-pc CROSS_DEV_PREFIX=/usr/local/genode/tool/21.05/bin/genode-x86- DEPOT_DIR=/home/samuraicrow/Documents/genode/depot UPDATE_VERSIONS=1 FORCE=1 REBUILD= -j8 and it executes but doesn't help. When trying again it yields the same error.I'm trying to run this on Manjaro Linux x86_64 XFCE. My hardware is an 8 year old gaming rig with a 3rd gen i7 CPU and 32 GB of DDR3. It has UEFI firmware and the USB3 is working under Linux.Are there any suggestions of how to get around this?

3 3

using a C library within a VFS plugin
by Stefan Thöni 19 Aug '22

19 Aug '22

Dear Genodians I would like to use a C library (wolftpm) from within a VFS plugin. I have tried the following: - using with_libc which segfaulted - creating a pthread which didn't start (result EINVAL). I came to the conclusion that some prerequisite was missing from the environment. - calling with_libc from within a Genode::Thread, which yielded "Error: pthread_self() called from alien thread named 'tpm'" So what is the proper way to do this? Bests Stefan -- Freundliche Grüsse Stefan Thöni Senior Security Architect +41 79 824 11 90 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

3 4

Error While genode for ARM generation
by Dixit Parkhiya 09 Aug '22

09 Aug '22

Hello Genodians, I'm trying to generate a genode image for ARM architecture. to be precise imx8q_evk board Currently i follow article "Sculpt OS 21.10 on ARM" by Stefan Kalkowsi https://genodians.org/skalk/2021-10-25-sculpt-arm For ARM toolchain and Packages i'm using "Docker Container" http://genodians.org/skalk/2020-09-29-docker-devel (I'm using genode-docker-devel for docker) (this docker image should contains all packages and toolchain but still need to install some packages) able to download all third party software tool/ports/prepare_port bash coreutils curl dde_linux dde_rump ...... but during depot directory facing this problem. tool/depot/create genodelabs/pkg/arm_v8a/sculpt-imx8q_evk genodelabs/bin/arm_v8a/base-hw-imx8q_evk CROSS_DEV_PREFIX=/usr/local/genode/tool/21.05/bin/genode-aarch64- UPDATE_VERSIONS=1 -j8 *[Please have a look at attached Screenshot of Error message]* *"aclocal-1.15" is missing* while look into the system found that aclocal is part of GNU basically. And version of installed aclocal is 1.16 (newer than required) and also if I change aclocal(automake) version then it may not be compatible with current GNU and create problems in future. Thanks & Regards

2 1

invalid signal-context capability
by Stefan Thöni 19 Jul '22

19 Jul '22

Hello Genodians I'm debugging an "invalid signal-context capability" but I can't pinpoint the bug. From my understanding an "invalid signal-context capability" happens when the signal handler is destroyed before the signal is processed. I have therefore carefully looked at the lifetime of all signal handlers and their corresponding signals, refactoring code to allow signals to be processed before destroying signal handlers. Is there another condition that triggers an "invalid signal-context capability" besides destroying the signal handler before any corresponding signal is processed? Does anyone have any tips on how to find which signal handler caused an "invalid signal-context capability" or where the signal originated? Best regards Stefan -- Freundliche Grüsse Stefan Thöni Senior Security Architect +41 79 824 11 90 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 1

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users