users

users@lists.genode.org

6 participants
2306 discussions

We are hiring!
by Pirmin Duss 11 Jun '18

11 Jun '18

Senior QT/C++ Software Engineer gapfruit AG is a hi-tech startup based in the crypto-valley with the goal to develop a security-focused operating system for everyone. The company started in May 2018. We are an ambitious team with years of experience in building high-security systems. We are looking for a experienced QT/C++ developer to help us build the next generation end-user operating system. The person we are looking for will set the initial architecture for the user interface. Required qualifications: * Education * MSc in Computer Science or Electrical Engineering * Tech knowledge: * Strong expertise in the QT framework and C++ * Knowledge in using Linux and its tool chains * Experience in embedded computing, virtualization, driver development or micro-kernels * Background in game engine development is a plus * Soft skills: * Open to think outside of the box for new desktop UX concepts * Team player in a multi disciplinary team * Ability to adapt new technologies quickly As a senior software developer at gapfruit AG, you will have the opportunity to pioneer, develop and build the way people will use their computer. You will take an important part in our company and will benefit from an attractive environment in the heart of Zug, Switzerland. If you are interested, please send your CV to jobs(a)gapfruit.ch

1 1

my Sculpt Early Adopters experiences
by Guido Witmond 09 Jun '18

09 Jun '18

Hi Genodians, Last week I've played with the Sculpt EA system. It looks great. And with the new booting code, it runs on my hardware. It boots on my old Gigabyte H67MA-USB3-B3 mobo with a Pentium G620 processor and 16 GB RAM. I didn't connect any Sata disks yet. Built-in Intel video to VGA and DVI-D display. No RS232 output, regrettably. (Another box, a DELL optiplex 360 PC, does do RS232 after grub but lacks recognised display adapter and reboots). My experiences: Things that work: - booting, OK; - Leitzentrale OK; - Disk, network and debug log OK; - live reconfiguration of display from VGA to DVI OK; - wired network config OK; however the system does not respond to ping; - Deploy backdrop OK, 2048 game OK, noux OK. After that I had some less luck. - Some downloads seem to hang. It could either be out of RAM (config), or a lost packet that is not detected. I'm using the RAM-disk that gets to 64MB in size. (I remember, but could not reproduce) it going to 128MB - Expanding the GENODE-partition on the USB-stick makes it unbootable. The system can't find and start Grub anymore. This happened repeatable both with a Kingston 8GB USB2 stick as well as with a Sandisk 32GB USB3 stick. I haven't been able to test the virtual machine with debian payload due to the download errors. Questions: - is there a way to send the debug log via ethernet? - did I miss some configuration settings that made the downloads get stuck? Cheers, Guido.

2 2

Re: Sculpt TC - Error Building "image/disk"
by Christian Helmuth 08 Jun '18

08 Jun '18

Hello John, On Thu, Jun 07, 2018 at 01:15:01PM -0400, John J. Karcher wrote: > On 06/07/2018 02:51 AM, Christian Helmuth wrote: > > export PARTED_GPT_APPLE=0 > > make run/sculpt KERNEL=nova > > That worked like a charm! thanks for your help. I also added PARTED_GPT_APPLE=0 to the run tool to reduce the noise. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

Booting genode is using source code
by Prakash A 08 Jun '18

08 Jun '18

Dear sir/madam Please instruct me how to boot a os using qemu emulator.. Thanking you, PRAKASH A

1 0

Sculpt TC - Error Building "image/disk"
by John J. Karcher 07 Jun '18

07 Jun '18

Hello, I am happy to report a very smooth initial experience with Sculpt TC running in VirtualBox. I followed the tutorial (skipping the parts about virtualization, of course), and everything went well, with the exception of the minor error I will describe below. The Sculpt Manager is surprisingly convenient and mature, and the under-the-hood improvements are impressive as always. I really like the direction things are moving! My only problem was building the "image/disk" version of the image. For development, I am running an up-to-date Debian Unstable, which has worked well for me so far. Here is the relevant part of the output: checking configuration syntax CHECK init using 'core-nova.o' as 'core.o' Run script aborted because gdisk is not installed Makefile:312: recipe for target 'run/sculpt' failed make: *** [run/sculpt] Error 1 In fact, "gdisk" is installed, but it doesn't run under a normal user. I could hack the scripts to use "sudo", but I thought I'd check here first, in case there is a simple solution (since Ubuntu and Debian usually operate similarly). I obviously don't expect Linux distro tech support - if there isn't an easy answer, I'll just install Ubuntu. Thanks! -- John J. Karcher devuser(a)alternateapproach.com

4 5

use of make functions while building libraries in depots
by Pirmin Duss 04 Jun '18

04 Jun '18

Hello, While debugging the build error in adalib I observe, that the content of a file created by the library make file contains incorrect path information: The line below should write the path to the sources of the ADA runtime library in to a file: $(VERBOSE)$(shell echo $(CONTRIB_DIR)/gcc-$(shell echo $(call _hash_of_port,gcc) | cut -d" " -f1)/src/noux-pkg/gcc/gcc/ada > $(ADA_RTS)/ada_source_path) when I inspect the created file it contains the following: /gcc-/src/noux-pkg/gcc/gcc/ada Some questions arise from this situation: 1) is it ideal to use the source in the contrib directory while building depots or should all source be copied in to the src package? and depending on the answer to the above question: 2) when using the source from contrib how to use the functions while building depots? 3) when copying all source in to the src package, how to handle the changes required to the make file for the library? best regards, Pirmin

1 0

Failure of Genode Demo
by zabarnyi＠campus.technion.ac.il 04 Jun '18

04 Jun '18

Hello, This is my first experience with Genode. I am trying to run a demo for Genode 17.05 (with toolchain 17.05, 64 bits), on an Oracle VM VirtualBox (5.2.10-122406) virtual machine, with Linux Ubuntu 16.04.4 (64 bits) OS. I am following the guide on https://genode.org/documentation/developer-resources/getting_started and I have already installed all the packages mentioned in this guide. However, when I try to run a demo using: cd build/x86_64 make KERNEL=linux run/demo the build of Genode succeeds, but the demo fails with the following error message: genode build completed using 'core-linux' as 'core' using 'ld-linux.lib.so' as 'ld.lib.so' using 'linux_timer_drv' as 'timer' spawn ./core Genode 17.05 17592186044415 MiB RAM and 8998 caps assigned to init Warning: blocking canceled in entrypoint constructor Error: Unexpected call of 'block_for_signal' (/genode/genode-17.05/repos/base/src/core/signal_receiver.cc:39) I would be grateful if you could help me to understand the reason for it (I couldn't find the answer on the web). Best regards, Konstantin

2 1

package dependencies
by Stefan Thöni 01 Jun '18

01 Jun '18

Hi, I ran into a problem when a genode package (pkg) was named both in parent pkg and it's child pkg like this: pkg/A/archives: _/pkg/B _/pkg/C pkg/B/archives: _/pkg/C pkg/C/archives: _/src/D When creating A, make complained of "recursive package dependency" but I'm sure there is no recursion. I then checked tool/depot/mk/dependencies.inc, 121L which yields that error and it looks to me as that code would always detect a paket named twiced in the dependency graph as recursive dependency. Is this intended? And if so, how should we deal with it? Regards Stefan -- Freundliche Grüsse Stefan Thöni Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 1

Announcement: Genode OS Framework version 18.05 released
by Christian Helmuth 31 May '18

31 May '18

We are proud to announce the next step in the Year of Sculpt with the release of Genode 18.05 and Sculpt for The Curious (TC). This incarnation of Genode as a general-purpose operating system comes with a new graphical user interface, which enables the user to interactively perform fundamental tasks like storage and network connectivity management as well as installation and deployment of software. The resulting system uncovers the flexibility of Genode with easiness and fun. Beside Sculpt TC the release comes with the following highlights. - New revision of the Genode Foundations book - Storage - Enhanced VFS library and plugin interface - New audit and copy-on-write VFS plugins - Creating and modifying GUID partition tables on target - Dynamic reconfiguration of user-level network routing - GUI stack - UTF-8 support for graphical components - New font-rendering and text-output facilities - Modernized API for input-event processing - Device drivers - NVMe storage devices - Improved USB-storage driver - PCI access via ECAM/MMCONF - Libraries and Applications - Packaged Qt5 framework - New Java language support - Improved Ada language support - Updated Seoul VMM on NOVA - Updated seL4 kernel to version 9.0.1 - Updated Muen separation kernel All details can be found in the release documentation available at https://genode.org/documentation/release-notes/18.02 Happy sculpting -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 1

Shared folder in Sculpt
by Pirmin Duss 24 May '18

24 May '18

Hello The shared folder mounted in to the virtual machine of sculpt always reports the following data to the df command in the VM: size: 512M free: 512M used: 0 Because of this the file manager will not copy any files larger than 512M to the shared Folder, on the console it is possible though. Best regards, Pirmin

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users