users July 2019

users@lists.genode.org

19 participants
18 discussions

import_from_depot size limitation
by Duss Pirmin 06 Aug '19

06 Aug '19

Hello Genodians Is there a limit to the size (number of bytes or number of files) that can be added via import_from_depot (ARCH: imx6, KERNEL: hw)? I had a problem with a run script that sometimes hung (mkfs never completing) or sometimes crashed in different components (ip pointing to Genode::ipc_reply_wait() in ld.lib.so) after upgrading from 19.05 to 19.07. To debug the error I created a small version and step by step increased its size until it was identical to the one with the error. The last difference I found was that the script with the error imported more depot archives. After reducing the list of imported archives the run script now works well. What I think is even stranger, at first I bisected the problem with the original run script. This resulted in commit ac0ecdf855f61 triggering the problem. But as non of my other run scripts showed this kind of error, I suspected that it only uncovered a hidden error in my run script. Could it be, that this is related to the size of the resulting image (about 50MiB for image.elf and 26MiB for uImage)? Best regards, Pirmin

2 4

Re: Sculpt - Boot from USB and Save configurations for a reboot
by Nanfang Hu 31 Jul '19

31 Jul '19

I have used USB to boot up Sculpt demo. I have a problem to use USB to add more components since the system keeps complaining downloading error. Instead I am using RAM and adding more components to Sculpt. How to save Scuplt configurations for system reboot. Thanks Nanfang On Mon, Jul 29, 2019 at 5:24 PM Nanfang Hu <nhu2000(a)gmail.com> wrote: > I have used USB to boot up Sculpt demo. > > I have a problem to use USB to add more components since the system keeps > complaining downloading error. Instead I am using RAM and adding more > components to Sculpt. > > How to save Scuplt configurations for system reboot. > > Thanks > Nanfang > >

2 1

Dynamic linker for child components | Genode 16.08 with Fiasco.OC
by Fesl, Matthias 30 Jul '19

30 Jul '19

Hello everyone, I am struggling with starting a component as a child from another component. At runtime the following error appears: Error: attempt to start dynamic executable without dynamic linker When I am starting the child component directly from init, it works. Does anyone know where the error could come from or where I need to start searching? Tank you in advance, with best regards, Matthias Fesl

1 0

Dynamic linker for child components | Genode 16.08 with Fiasco.OC
by Fesl, Matthias 30 Jul '19

30 Jul '19

2 1

Re: Issues to build Sculpt with Sel4 kernel
by Alexander Boettcher 29 Jul '19

29 Jul '19

Hello, On 29.07.19 01:31, Nanfang Hu wrote: > I am trying to build Sculpt with Sel4 kernel. > Sculpt OS is not tested with seL4 and is not supposed to get far. > sudo make -C build/x86_64 run/sculpt KERNEL=sel4 BOARD=pc Please don't use sudo - our tooling support is supposed to work without root rights. (If you nevertheless need root rights, please tell us which tool requires it). > > I run into error, "Could not allocate block in ext2 filesystem" Either increase the image size to some fixed value in your build/x86_64/etc/build.conf, something like: RUN_OPT += --image-disk-size 64 or increase the value of the ext2_overhead variable in tool/run/image/disk Cheers, -- Alexander Boettcher Genode Labs https://www.genode-labs.com - https://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Issues to build Sculpt with Sel4 kernel
by Nanfang Hu 29 Jul '19

29 Jul '19

I am trying to build Sculpt with Sel4 kernel. sudo make -C build/x86_64 run/sculpt KERNEL=sel4 BOARD=pc I run into error, "Could not allocate block in ext2 filesystem" It seems that I have increased file system size. Where is the place to make that change? Thanks Nanfang

1 0

Re: users Digest, Vol 15, Issue 17
by Nanfang Hu 29 Jul '19

29 Jul '19

Thanks, Johanne. It works. On Thu, Jul 25, 2019 at 6:00 PM <users-request(a)lists.genode.org> wrote: > Send users mailing list submissions to > users(a)lists.genode.org > > To subscribe or unsubscribe via the World Wide Web, visit > https://lists.genode.org/listinfo/users > or, via email, send a message with subject or body 'help' to > users-request(a)lists.genode.org > > You can reach the person managing the list at > users-owner(a)lists.genode.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of users digest..." > > > Today's Topics: > > 1. Re: Fwd: Issue for run demo (Johannes Kliemann) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 25 Jul 2019 10:11:24 +0200 > From: Johannes Kliemann <kliemann(a)componolit.com> > To: users(a)lists.genode.org > Subject: Re: Fwd: Issue for run demo > Message-ID: <4361356.Lc3VtfIeQD@aamon> > Content-Type: text/plain; charset="utf-8" > > Hi Nanfang, > > I had that issue, too. On the newest Genode you also need to select a > board to > run on which is "linux" for Linux. So you could try > > "make KERNEL=linux BOARD=linux run/demo" > > Regards, > Johannes > > > Hi > > > > I am a newbie to genode and need help to set up. > > > > I have cloned and compiled genode. > > > > When I try to run demo by command "make KERNEL=linux run/demo", I had an > > error, see attached. > > > > I have ubuntu 16.04 and IBM Thinkpad 520. > > > > Thanks > > Nanfang > >

1 0

Fwd: Issue for run demo
by Nanfang Hu 25 Jul '19

25 Jul '19

Hi I am a newbie to genode and need help to set up. I have cloned and compiled genode. When I try to run demo by command "make KERNEL=linux run/demo", I had an error, see attached. I have ubuntu 16.04 and IBM Thinkpad 520. Thanks Nanfang

2 1

Can QT-based "textedit" run successfully on Rpi 3 B+ ?
by kimberly nNA 22 Jul '19

22 Jul '19

Dear Genode team, I am Kimberly. I modified and added "textedit" on demo.run The link below is about the complete content of demo.run, textedit.config, runtime log, and also a result graph. https://docs.google.com/document/d/1gtQJOXG3IK2_h5xV5CLI1zy54Vil_Xu6HSJ3My6… The genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02 I tried this commands : $ ./tool/create_builddir *rpi3bplus* $ make run/demo KERNEL=hw This case successfully run on Rpi3 B+ But it had some errors when running textedit. I used USB to TTL Serial Cable to see the runtime log : =========================================== ... [init -> launchpad] starting textedit with quota 177873K [init -> launchpad] using unique child name "textedit" [init -> launchpad] Warning: textedit: service File_system not available [init -> launchpad -> textedit] Error: File_system-session creation failed (ram_quota=163840, cap_quota=12, tx_buf_size=131072, label="rw", root="", writeable=1) [init -> launchpad -> textedit] Error: failed to create <fs> VFS node [init -> launchpad -> textedit] Error: label="rw" ... ============================================ because of the errors, I couldn't "save" a new file. I wrote the config of "ram_fs" in demo.run : <start name="ram_fs"> <resource name="RAM" quantum="10M"/> <provides><service name="File_system"/></provides> <config>  <policy label="textedit -> root" root="/" /> </config> </start> something wrong with the node ? I am not familiar with writing the 'policy'. Thanks a lot ! 😊

2 1

How to see runtime log on Rpi3 B+
by kimberly nNA 20 Jul '19

20 Jul '19

Dear Genode team, I am Kimberly. I modified and added some apps on *demo.run* The genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02 I tried this commands : $ ./tool/create_builddir *rpi3bplus* $ make run/demo KERNEL=hw This case successfully run on Rpi3 B+ But I couldn't see the runtime log like as on x86_64 : ---------------------------------------------------------------------------------- ... [init -> drivers] Error: Could not open ROM session for "config" [init -> drivers] Error: Uncaught exception of type 'Genode::Rom_connection::Rom_connection_failed' [init -> drivers] Warning: abort called - thread: ep [init] child "drivers" exited with exit value 1 [init -> acpi_drv] Found MADT ... ----------------------------------------------------------------------------------- Like the above example, sometimes I want to debug errors on Rpi. Can I see the runtime log on Rpi3 B+ ? If it can, how to set on putty ? (p.s. I used *USB to TTL Serial Cable*) In putty configuration : serial line : /dev/ttyUSB0 speed : 115200 I also tried speed : 9600 But I still couldn't see runtime log. Maybe I have to refer to *gpio_signal.run* and then modify *demo.run* ? p.s. If I used *raspbian-stretch-lite.img* (*raspberrypi.com <http://raspberrypi.com> *provide it), I can see runtime log. Thanks a lot ! 😊

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2019