users

users@lists.genode.org

1 participants
2310 discussions

Enhancement of German Wikipedia article
by Martin Stein 27 Feb '19

27 Feb '19

I have enhanced the German Wikipedia article about Genode by the paragraphs "Critique" and "Sculpt" and updated the article to the latest release. However, the new version needs a review to be published, so, if any of the German users likes to fasten the process: https://de.wikipedia.org/wiki/Genode Cheers, Martin

1 0

Properly build latest Sculpt image from latest source code?
by baconicsynergy＠protonmail.ch 26 Feb '19

26 Feb '19

I'm attempting to build the latest version of sculpt from the source code via the following procedure: - git clone https://github.com/genodelabs/genode.git - I'm checking out the latest NOVA pkg via - ./tool/depot/download genodelabs/bin/x86_64/base-nova/2019-02-12 - and the latest verison of sculpt via - ./tool/depot/download genodelabs/pkg/sculpt/2019-02-11 - I then make and configure the build directory and enable the proper repositories - I then attempt to run "make -C build/x86_64 run/sculpt KERNEL=nova" I receive the following error message: Error: missing depot archives: genodelabs/bin/x86_64/base-nova/2019-02-25 genodelabs/pkg/x86_64/sculpt/2019-02-25 However, these packages do not exist. I must be missing some silly error. Can someone tell me where I went wrong?

1 0

New Spanish Wikipedia article
by Martin Stein 26 Feb '19

26 Feb '19

I'm glad to announce that we have managed to translate the latest version of the English Wikipedia article about Genode into Spanish! Thereby, I'd like to invite everyone - especially all native Spanish speakers - to have a look at the result and maybe even contribute improvements: https://es.wikipedia.org/wiki/Genode Cheers, Martin

1 0

Sculpt OS
by voidpin 24 Feb '19

24 Feb '19

Hi, First things first, congratulations! I think Sculpt is the OS I've been looking for, mainly the concept of running a micro kernel and have drivers in userland. I've been playing with Sculpt (VC) for a few days. Have it on a 16GB usb and have aplyed Extend so the whole usb is used. It boots both on my Void Linux laptop in UEFI mode and on my NetBSD laptop in legacy mode without an itch. Also, all my wifi bands are detected and I had NO issues adding software from the repo. Although, documentation doesn't really describe how to install onto a SSD, I think I will manage with a slight work around. But, before I do that I have a few questions, if you don't mind!? 1) How to shutdown my machine? Up to now, I haven't figured it out and been forcing shutdown using the power switch. I've tried 'poweroff' and 'shutdown -p now' to no avail. 2) Is a new release coming soon? I have a SE_SV keyboard and although, I can do it with de this is not optimal. I might just write a keyboard definition, but if its coming soon, it would be a waste of time. 3) Related to 2)... I've changed config to use de instead of en_US, but everytime I restart its back in en_US!? I've looked through the documentation, but I'm afraid I'm doing something wrong, as changes are not stored!?! Thank you for your time and for this amazing OS. Regards, Pin Skickat från ProtonMail mobile

4 6

How to enable Virtualbox EFI firmware on sculpt
by Johannes Schlatow 22 Feb '19

22 Feb '19

Hi, I'd would like to boot my native Linux installation from within Sculpt using Virtualbox. First, let me briefly describe what I have done so far: I created a raw disk image that contains the relevant partitions (ESP, root and home), added the Block devices to the vfs of Virtualbox, and routed the Block sessions to the corresponding part_blk server. I also made the EFI firmware file available to Virtualbox. I created a vbox file and tested it on another Linux system. However, when using this vbox file on sculpt, I noticed that vbox does not respect the '<Firmware type="EFI"/>', i.e. neither my boot manager nor the UEFI shell appears. I had a look in the Genode repository and noticed that there is a vbox patch that removes (ifdef 0) the Nvram initialisation which is supposed to happen if the firmware type is EFI. Thus it appears that EFI support has been 'patched-out' from the virtualbox port. Is this intentional? Are there any major blockers that prevent us from using Virtualbox with some EFI firmware? Cheers Johannes

3 3

memory allocations problems on kernel sel4
by Pirmin Duss 20 Feb '19

20 Feb '19

Hello Genodeans I'm building a system similar to sculpt (a sub init for drivers, leitzentrale and runtime), that runs on iMX6. As kernel I use sel4. The static driver subsystem and the leitzentrale work without problems so far. At first init starts a ram_fs and a part_block. Then the following components should be started vfs, noux, and three chroot. This fails, as the runtime init can no longer allocate memory (see log below). The runtime init has a RAM quota of 360M and the components to start use about 120M. ... [init -> runtime] child "public_rw" [init -> runtime] RAM quota: 1896K [init -> runtime] cap quota: 68 [init -> runtime] ELF binary: chroot [init -> runtime] priority: 0 [init -> runtime] provides service File_system Error: static Genode::addr_t Genode::Untyped_memory::alloc_pages(Genode::Range_allocator&, Genode::size_t): allocation of untyped memory failed Warning: unexpected exception during PD-session creation [init -> runtime] Error: depot_rw: environment PD session denied (label="depot_rw", ram_quota=98304, cap_quota=13, diag=0) ... Kernel: Thread 'ep' died because of an uncaught exception [init -> runtime] Error: Uncaught exception of type 'Genode::Service_denied' [init -> runtime] Warning: abort called - thread: ep Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100 [init] child "runtime" exited with exit value 1 Might this be related to the following messages we also see in the log? Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x40 The last number starts with 0x01 and increases as follows 0x02, 0x04, 0x10, 0x20, 0x40, 0x80, 0x100. Tests on base-hw did not show any allocation errors. Best regards, Pirmin

1 1

Sculpt w/ Visual Composition, outdated Debian URL
by baconicsynergy＠protonmail.ch 12 Feb '19

12 Feb '19

Greetings from Genode/NOVA on my new Thinkpad X250 :) Almost everything is working perfectly! I'm very excited about my new system. However, when I try to run the Debian installation, it fails to find the proper URL and nothing happens. What configuration file can I modify to fix this issue so I can point the URL in the right direction? Enthusiastically, Joel

3 3

genodians content
by Guido Witmond 11 Feb '19

11 Feb '19

Hi Genodians, I've written some pages[1] in the style of Nix-pills[2] but on the subject of Genode. Please review and give me your feedback. When its good enough, I ask Genode Labs to publish it on genodians. 1: https://github.com/gwitmond/genodian/ 2: https://nixos.org/nixos/nix-pills/index.html

2 2

Genodians.org BETA is live
by Josef Söntgen 30 Jan '19

30 Jan '19

Hello fellow Genodians, as already hinted to by Norman in the roadmap discussion, the Genodian's website [1] is now live. It is a federated microblogging platform operated by Genode Labs and running on a Genode system (it uses base-hw and runs within an KVM-based VM). All recipes needed for building the system image are available in the genodians.org repository [2]. [1] http://genodians.org [2] https://github.com/genodelabs/genodians.org The repository also contains the list of all authors whose content is aggregated and published on the website. For more information, e.g. how to participate, please look into the README file. Since there is probably one or the other rough edge left and we have not yet decided on a plan to replace the self-signed certificate, the current version should be treated as BETA - stuff is allowed to fall off :-). Regards Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/

4 4

Amateur Radio
by Tyrell Jentink 30 Jan '19

30 Jan '19

Hello everyone, I am new to this mailing list, and to Genode generally; I will probably be doing most of my experiments in the near future with a Raspberry Pi, and I'm likely to be fairly quiet about it, but I haven't actually fired anything up yet. My background is with Linux, and I anticipate a bit of discomfort as I try to adapt to the Genode Way... My interest is largely in Amateur Radio; The Linux community has a long history of supporting Amateur Radio with protocol stacks (Such as AX.25) and both hardware and virtual Terminal Node Controllers in the kernel. There are also userland implimentations. Some of those run on Windows... some are open source... In other words, lots of code is out there... In various levels of loyalty to the Unix philosophy... Putting it in the kernel may have never made sense... And the "Genode Way" has value in organizing the complexity of the AX.25 networking stack, similar to how it separates the organization of the Ethernet stack... How much, if any, actually belongs in Genode and/or Sculpt OS is beyond me... It all probably deserves to be an installable package, rather than a core package... But it probably also benefits from Capabilities, as it will interface with hardware, so probably more than just an untrusted Linux instance... Fldigi also seems like it could benefit from being broken apart into smaller components, with a stronger capability based trust model... Or not, I really don't know... Anyway... I'm new... And I'm still trying to wrap my head around the "Right" way to think about these things... Are there any other hams out there interested in bouncing around ideas? 73, Tyrell Jentink, KD7TKJ

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users