users

users@lists.genode.org

2285 discussions

Converted Genode, Goa and Genodians.org Github repositories README files to markdown
by Jack Curran 13 Jul '24

13 Jul '24

Hello, I have made 3 pull requests for the Genode, Goa and Genodians.org Github repositories. I have changed the README file to README.md to make it a markdown file. Nearly all big Github repositories use README.md markdown files as it allows the creation of more sophisticated and professional Github pages. I would appreciate any feedback on the changes. You can view my changes on my Github forks: https://github.com/axiomsss/goa https://github.com/axiomsss/genode https://github.com/axiomsss/genodians.org Thanks.

1 1

Help building genode tool_chain source code for goa application porting
by Jack Curran 10 Jul '24

10 Jul '24

Hello, I want to learn Genode and SculptOS so I am trying to learn how to port applications to Genode/SculptOS as a learning experience and to help contribute to the project. I have never packaged an application or ported one before, so this is a first time experience. I know that Genode is quite an advanced project and probably not for novices like myself, however I am very interested in the project and would like to contribute. I would guess the best way to learn how to port applications and make packages is by actually trying to just do it. I've been looking around the internet trying to find various guides from github and genodians.org to learn how to do this. So far I have come to the conclusion that I need to use Goa on a Linux system to build these ports. So I am using a virtual machine with Ubuntu to do so. However none of the Goa guides show how to actually install Goa, so that is what I have been struggling to find information on. I am now reading the Genode Foundations Book as it seems to have more information on compiling the genode applications and tools from source. I am using a virtual machine running Ubuntu 24.04 LTS and I have installed the necessary packages as stated in the book: "Recommended development environment Genode is regularly used and devel- oped on GNU/Linux. It is recommended to use the latest long-term support (LTS) version of Ubuntu. Make sure that your installation satisfies the following require- ments: • GNU Make version 3.81 (or newer) needed by the build system, • libsdl2-dev, libdrm-dev, and _libgbm-dev needed to run interactive system scenarios directly on Linux, • tclsh and expect needed by test-automation and work-flow tools, • xmllint for validating configurations, • qemu, xorriso, sgdisk, and e2tools needed for running system scenarios on non- Linux platforms via the Qemu emulator." Reading the Goa github readme, it says I need the genode tool_chain. To get the genode tool chain, I have cloned the genode github repository and I have the source tree with the genode/tool/tool_chain file I have run the following commands: "git clone https://github.com/genodelabs/genode.git" "cd <genode-dir> git checkout -b 24.05 24.05" "cd <genode-dir> ./tool/create_builddir x86_64" Reading the Genode Tool_Chain section on the genode website it says: "Compile from source For those of you who prefer compiling the tool chain from source, we provide a tool for downloading, building, and installing the Genode tool chain. You find the tool in Genode's source tree at tool/tool_chain. For usage instructions, just start the tool without arguments." I have run this command: "./genode/tool/tool_chain" Is this what is meant by start the tool without arguments? The following message comes up: "~$ ./genode/tool/tool_chain bash: line 1: gcc: command not found Need to have 'flex' installed. Need to have 'bison' installed. Need to have 'g++' installed. Need to have 'libncurses' installed. Need to have 'libncurses' installed. Need to have 'texinfo' installed. Need to have 'libexpat' installed. bash: line 1: gnatmake: command not found Need to have GNAT installed and the GNAT version must match the GCC version (found GCC ). Need to have 'libgmp' installed. genode/tool/tool_chain:170: *** Please install missing tools.. Stop." Do I have to also manually install each of these packages using sudo apt install gcc flex bison g++ .... etc I would have thought that a make file or something similar would manually install all the dependencies for me? I am just not sure if I am doing this correctly and want to know if I am doing something wrong. I previously installed each dependency/packages needed as stated in the error message until I had no errors left. Then it seemed to start compiling the genode tool_chain via GCC, however it continued compiling for several hours, so I thought maybe I was doing it the incorrect way, so I cancelled the compilation. I want to first ask if I am even doing this the correct way before I spend more time trying to compile something incorrectly. Thank you.

5 11

Native SVG icon rendering instead of rasterizing? Who is responsible for GUI design?
by Jack Curran 09 Jul '24

09 Jul '24

Hello, I am curious who, or what team, is responsible for the GUI design of Sculpt OS. Especially the Window Manager preset that comes with Sculpt by default. Which I am sure is the window manager that most users are using? I am willing to create icons for the Window Manager GUI if needed. I don't know what licenses are equivalent to the AGPLV3 when it comes to graphic design? But whatever license is closest, I can publish my icons under that for the project so that there is no interference with licensing. You can see my icon suggestions in the github issues on the genode repository for anyone who hasn't seen my suggestions. https://github.com/genodelabs/genode/issues/5278 https://github.com/genodelabs/genode/issues/5279 https://github.com/genodelabs/genode/issues/5266 https://github.com/genodelabs/genode/issues/5268 https://github.com/genodelabs/genode/issues/5276 I am curious if it is possible to use SVG rendering instead of pixel rasterizing for Icons? It would mean that we could have a single universal icon file that could be scaled and oriented/rotated without having to make several rasterized file copies of the same SVG icon for a particular resolution, scale and orientation/rotation. There are so many different screen formats and resolutions now from smart watches, phone screens to large high dpi desktop screens and TV's.

4 6

Use SculptOS as a server?
by Jack Curran 08 Jul '24

08 Jul '24

Hello, I am interested in the possibility of using SculptOS as a server? I am not sure how viable this is as I am still learning how to use SculptOS and what capabilities it has. But to me, it seems like the perfect server OS because it is focused on capability security and uses a micro kernel which has many benefits such as isolation/sandboxing and stability due to driver crashes being in user-space instead of kernel level etc. I was planning to use NixOS and run several docker containers as my home NAS and email server, however, I see no reason why I couldn't run docker containers in a virtual machine on Sculpt OS instead? Then it would be a lot more secure and an interesting project to try and use it as a server. I plan to use the HPE Proliant Microserver Gen10 Plus V2 which is an Intel based server computer. So it should be compatible with SculptOS.

5 6

Holiday season 2024
by Sebastian Sumpf 05 Jul '24

05 Jul '24

Dear community, I want you to be aware of that most of the Genode staff will be on holiday during the next few weeks. This implies that we might not be able to respond to the mailing list or GitHub issues in a timely fashion in the same way as we usually do. So, in case there is no response to your request/question, you now know why. We will try to resolve any inquiries as fast as we can after holiday season. Thanks for your understanding, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

Running GDB
by Rumen Mitov 04 Jul '24

04 Jul '24

Hello, I have recently began looking at Genode for a project I am working on and I am having trouble with running the GDB run scripts. So far I have experimented with the following three: - monitor - monitor_gdb - monitor_gdb_interactive NOTE The command that I used to run is the following: make -C build/x86_64 run/<run script> KERNEL=hw BOARD=pc The monitor script runs successfully. However, the monitor_gdb script crashes soon after launch with the warning that too many hardware breakpoints have already been set (see corresponding log below) . The monitor_gdb_interactive script launches a terminal for a brief second, however it too crashes (I presume it is the same error as with the monitor_gdb script). I have attached the corresponding log files below. I have not altered any of the run scripts. The only changes I made were to the build/x86_64/etc/build.conf file which I have attached below. I would also like to mention that I tried to run: make -C build/x86_64 run/<run script> KERNEL=linux BOARD=linux but it also failed (see log below). Any help will be greatly appreciated! Kind regards, Rumen Mitov

2 3

Change genode github source code link
by Jack Curran 03 Jul '24

03 Jul '24

Hello, the github source code link doesn't work when I try to download the source code. https://genode.org/download/repository I have to change the link from: >To download the source code, use > git clone git://github.com/genodelabs/genode.git When I run this command, it stalls for several minutes before giving up. I googled why it wasn't working and the answers said you now have to use HTTPS:// instead of GIT:// for git clone of github repositories So I advise to change the link on the website to: >To download the source code, use > git clone https://github.com/genodelabs/genode.git This works for me every time, but the git version does not work even when trying several times.

1 0

Edit ram allocation to processes in Sculpt OS?
by Jack Curran 28 Jun '24

28 Jun '24

Hello, I've started using Sculpt OS and the integrated Falkon web browser. It frequently crashes when I have several tabs open, I believe this is because the ram it has been assigned is too small. I couldn't seem to find any mention of how to edit the ram allocated to processes in the Sculpt OS documentation? How do I dynamically edit the allocated ram to processes such as the Falkon web browser? When I am using the Leitzentrale and I click on the Falkon web browser, I can see it shows 1.95 GiB / 2.00 GiB, I am guessing this is the allocated ram? However I am only assuming this is the allocated Ram size as it does not specify what type of storage this is, i.e Hard Drive Storage or Ram Memory. The audio works in the browser too, I was able to play music in youtube music. However, the first couple times I tried playing any audio through Falkon, it didn’t work. I rebooted and started fresh RAM FS in an attempt to get audio working. For the first 2 or 3 times it didn’t work. I am not sure what I did differently, but on the 3rd time I tried and downloaded the Falkon browser, the audio suddenly worked. I was able to control the volume by editing the config audio XML file and saving it. I will need to do more tests to see if the audio not working was a fluke or I was doing something incorrectly before. Thank you, Jack Curran

3 4

Leitzentrale only displays NVME1
by Jack Curran 28 Jun '24

28 Jun '24

Hello, I have 4 NVME SSD's in my laptop. However, the Leitzentrale only allows shows me the NVME1 slot, but it will not display NVME2, NVME3 or NVME4 to select. I wanted to use a SSD that was in the 4 slot, so I physically had to swap the SSD in slot 4 with slot 1 with so I could select the desired SSD for sculptOS to format and use on the NVME1 slot. I am not sure if this is just a GUI bug, or if the other 3 NVME SSD's are simply not being detected by the OS? Thank you.

2 1

Using second block device
by mntn 21 Jun '24

21 Jun '24

I am testing out Genode Sculpt on a spare x86 machine and I ran into a question that doesn't seem to have a clear answer in the documentation. I am attempting to create the following setup: * All Genode/Sculpt software on removable USB boot drive * All virtual machine data on encrypted volume stored on NVMe From my experimentation, the default applications in the Leitzentrale seem to be focused around a single block device, the one you select for the depot with "use". Since I have the depot on USB, I'm unable to create a file vault residing on the NVMe. To accomplish this setup, I'd imagine that I will need to create a file vault on the NVMe storage, then create the VM using the file vault to hold the file system. Unless I'm missing an easier solution, it seems like I may need to create a modified version of the file vault than can reside on partitions from other block devices... but before I proceed too far down that path I'd appreciate any feedback/ideas from someone with experience. Thanks!

2 4

← Newer
1
2
3
4
5
6
7
...
229
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users