users October 2022

users@lists.genode.org

9 participants
6 discussions

Can Genode run on the Mixtile Blade 3?
by Jacek Rużyczka 06 May '23

06 May '23

Good evening Genodians, in a couple of months I'll receive a number of Mixtile Blade 3 SBCs (based on the RK3588) https://www.crowdsupply.com/mixtile-limited/mixtile-blade-3 and would like to (at least) try to equip them with the Genode OS. What's necessary for my project, is clustering four such nodes with a PCIe switch (supplied by Mixtile; see their web page) as well as using single SBCs as storage nodes, which will be connected to a hard drive. Is it possible to port Genode onto this platform, or is this impossible with the current version? I simply don't wanna start an infaust undertaking. Thank you. Regards Jacek Rużyczka

2 4

Regarding ARM on Genode
by Divya Sharma 10 Apr '23

10 Apr '23

hello genodians, I'm Trying to port Genode OS for i.MX 8MQ boards (arm_v8a). successfully generated .img file but don't know how to run this img file i don't have i.MX board so I have to run on Ubuntu (linux). I have tried qemu emulator but i think qemu doesn't supported board. (basically want to run genode os for ARM.) Please give some guidance on this. Thanks & Regards

6 25

Announcement: Sculpt OS 22.10 released
by Norman Feske 20 Dec '22

20 Dec '22

Hello everyone, I'm happy to announce today's release of the Genode-based Sculpt operating system version 22.10. https://genode.org/news/sculpt-os-release-22.10 At the surface, this version is a maintenance release with almost no visible changes. Under the hood, however, we poured immense efforts into the lowest-level parts of the driver infrastructure like the discovery and management of PCI resources and the hotplugging of USB devices. Those low-level architectural changes left almost no driver unturned. We thoroughly tested Sculpt on our team's arsenal of machines. Please let us know how it works on your's. Besides the driver-related changes, seasoned Sculpt users might notice performance improvements in several areas, ranging from faster system startup, over increased network throughput, to improved GUI responsiveness. The release is accompanied by up-to-date packages. For example, you can find - An updated Chromium engine in the form of the Falkon and Morph web browsers in cproc's depot, - An updated audio driver based on OpenBSD 7.1 in genodelabs' depot, - Performance and battery monitoring tools in alex-ab's depot. As a starting point, please find a ready-to-use disk image at the Sculpt download page: https://genode.org/download/sculpt The matching documentation for using Sculpt or building it at home is available at: https://genode.org/documentation/articles/sculpt-22-10 https://genode.org/documentation/sculpt-22-10.pdf I hope you'll enjoy the new version! 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

2 3

Test Genode on RISC-V from release notes Failed
by Pranab Rout 27 Oct '22

27 Oct '22

Hi all, I was following the instructions in the release notes 16.02 ( Section 'Steps to test genode on RISC-V'). url - https://genode.org/documentation/release-notes/16.02 I was able to execute successfully all the given steps The last command - 'make run/printf' is not working. There is no run directory nor printf script. Kindly help me with in this problem and with some resources also, so that I can proceed further. I am working on to build Genode based OS on RISC-V. Kindly guide me by providing a roadmap to follow and learn. Regards, Pranab

2 1

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users October 2022