users

users@lists.genode.org

2 participants
2322 discussions

Muen SK with VirtualBox VMM
by Lonnie Cumberland 11 Jul '19

11 Jul '19

Greetings All, I have been keeping an eye on Genode and in particular the NOVA Microvisor project for a long time now as I had always thought that it was a very good direction. As Genode has grown, it seems that more advancements are made all of the time which is awesome. Lately, I have turn my attention to Type-1 hypervisors like XCP-ng (Xen) and SmartOS while also digging into Separation Kernels a bit to see what they can offer. On that note, I have briefly started reviewing Muen SK and am trying to see what it can do, but came across the Genode project that is supposed to have Muen SK as the Host with a VirtualBox VMM for the Guest OS's. Can someone please tell me if there is any active work going on in this area as I am very interested in being able to run X86_64 Guests like Windows 7 Pro, Windows 10, and Linux all 64-bit? Thanks a lot in advance. Lonnie

2 2

Announcement: Sculpt OS version 19.07 released
by Norman Feske 09 Jul '19

09 Jul '19

Dear Sculpt OS users, I am happy to announce the release of Sculpt version 19.07, which incorporates the infrastructural improvements that came with Genode 19.05 [1]. The new tool chain, updated C runtime, and VFS infrastructure contribute visibly to a smoother user experience. Feature-wise, the addition of a clipboard mechanism paves the ground for new use cases and work flows between native components and virtual machines, allowing us to continue our transition from the work within virtual machines towards working in the native Genode environment. Our unique take on copy and paste is described in a dedicated article [2]. It goes without saying that the version comes with updated documentation [3]. Download a ready-to-use system image at the Sculpt download page: https://genode.org/download/sculpt Have fun with Sculpt 19.07! Norman [1] https://genode.org/documentation/release-notes/19.05 [2] https://genodians.org/nfeske/2019-07-03-copy-paste [3] https://genode.org/documentation/articles/sculpt-19-07 -- 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

vfs and file_system sessions: label too long
by Stefan Thöni 08 Jul '19

08 Jul '19

Hello Genodians We observed that when using a file system session for the vfs of a component with serveral parent init components with long names, the session connection failed. We believe this is caused by a label that got too long, because after we shortened the names of some components the session connection started working. The problem seemd to arise when the composite label exceedeed about 110 characters. Is there a specific limit on the length of labels? Is there a recommended workaround for that problem in a dynamic deploy environment? Kind regards Stefan -- Freundliche Grüsse Stefan Thöni Chairman of the Board Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 1

Suggestions
by Unidef 08 Jul '19

08 Jul '19

1. Addition of multidimensional multi directional arrays, pointers, graphs, and binary trees. 2. Memory hungry mode. Got that from eq2 3. “secure” command/macro (like sudo but you can do secure sudo emacs -nw) Good luck, thanks for all the fish!! Sent from my iPhone

1 0

rump_fs and fs_rom: changed file notification
by Stefan Thöni 04 Jul '19

04 Jul '19

Hello Genodians We observed that a file changed on a rump_fs read by an fs_rom does not generate a notification to the client of that ROM session when written/changed. However, if a ram_fs is used instead of a rump_fs the notification is received as evidence by sculpt. Is this behavior expected? Kind regards Stefan -- Freundliche Grüsse Stefan Thöni Chairman of the Board Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 1

Depot How-To Guide?
by John J. Karcher 03 Jul '19

03 Jul '19

Hello, Does anyone have a simple step-by-step guide for the initial set-up of a new depot, and publishing a first package to it? I took a first try at this, mainly following "Genode Foundations" (and trying to document my steps, in the hope of writing a beginner's guide for Genodians.org). But I seem to be missing something, because the "publish" tool is giving me an error. This is obviously a simple process, so I thought I'd ask here first, before wasting time trying to reinvent the wheel. Thanks! -- John J. Karcher devuser(a)alternateapproach.com

3 3

Issue with running 19.05 on RPi3 hardware
by Daniel Gunzinger 28 Jun '19

28 Jun '19

Good afternoon everyone! I am currently trying to run Genode in 64bit mode on a Raspberry Pi 3 Model B (V1.2), therefore using the newest available Release (19.05) with the accompanying tool-chain, compiling it on a Ubuntu 18.04.2 machine. The compilation process configured for the "rpi3" board with the "foc" kernel completes without any issues and the resulting elf binaries can also be executed in QEMU (4.0.0), completing the hello_tutorial with full output and no issues. However when I try to use the same binary with the mentioned hardware [0] the output of the UART repeatably stops before the "Hello from Startup::stage2" message, which to me indicates that it can not successfully begin to execute the Kernel as in QEMU. Is this to be expected, related to the UART drivers, or am I missing something in the compilation/preparation process? If there is any additional information needed please tell me. [0]: using u-boot version 2019.07-rc4 for the rpi3, with "enable_uart=1", "arm_64bit=1" and the u-boot-nodtb.bin as a kernel in the config.txt; loading the image with "fatload mmc 0:1 ${scriptaddr} image.elf" and then executing it with "bootelf ${scriptaddr}" Thank you in advance, with best regards, Daniel Gunzinger.

4 4

Japanese Wikipedia article announced
by Martin Stein 18 Jun '19

18 Jun '19

Since the beginning of June, there's a Japanese translation of the English version of the Genode article in the Wikipedia [1]. This remembered me to again thank everyone who helped creating and maintaining all the Wikipedia articles about Genode! Your work is very much appreciated! The new Japanese version already looks complete and fitted out with all the enjoyable details. Nonetheless, I'd like to invite everyone familiar with the Japanese Language to have a look at it and maybe even contribute to it (For instance, the article yet references Genode 19.02 as latest release). Cheers, Martin [1] https://ja.wikipedia.org/wiki/Genode

1 0

first contact
by cand.med.mag.r.danner 14 Jun '19

14 Jun '19

hallo together, i am a phd student at tum (muenchen) und i-med (med uni innsbruck. i tryed today to us scupt-tc.img result on a lenovo g400 "black" screan on a lenovo x201 only the left upper ( net, devices) no other tool. what can i do that both work? thanks reiner -- Sent from my Android device with K-9 Mail. Please excuse my brevity.

5 9

Virtualizing Windows 10 on NOVA
by Joel Desermeau 14 Jun '19

14 Jun '19

I decided to virtualize Windows Server 2016 in hopes to promote a domain controller and for shits and giggles. It was a partial success! I followed Alex's instructions (thank you again, Alex) and the installation performed flawlessly. I was able to boot into the Server Manager. Unfortunately, the virtual machine was so incredibly slow so as to be completely unusable. I'll try to salvage as much log information as possible. I count this as a success :) Joel

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users