users February 2019

users@lists.genode.org

15 participants
13 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users February 2019