users

users@lists.genode.org

2 participants
2322 discussions

Beginner question / running demo
by Schelm 14 Aug '19

14 Aug '19

Hello there, after some time of abstinence, I tried to build sculpt-19.07 <https://github.com/genodelabs/genode/releases/tag/sculpt-19.07> by cloning the repo. Following the orders in doc/getting_started.txt I installed the prebuilt toolchain and created a build dir per cd <genode-dir> ./tool/create_builddir x86_64 After that I wanted to run the demo per: cd build/x86_64 make KERNEL=linux run/demo but failed with: schelm@ubuntu:~/Development/genode/build/x86_64$ make KERNEL=linux run/demo including /home/schelm/Development/genode/tool/run/power_on/qemu including /home/schelm/Development/genode/tool/run/log/qemu including /home/schelm/Development/genode/tool/run/image/iso including /home/schelm/Development/genode/tool/run/boot_dir/linux including /home/schelm/Development/genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Verzeichnis „/home/schelm/Development/genode/build/x86_64“ wird betreten checking library dependencies... Library ldso-startup Library ld Library base Program test/nitpicker/testnit Program app/status_bar/status_bar make[1]: Verzeichnis „/home/schelm/Development/genode/build/x86_64“ wird verlassen genode build completed checking configuration syntax CHECK init Power cycle step failed, retry. Power cycle step failed, retry. Power cycle step failed, retry. Boot process failed 3 times in series. I give up! Makefile:323: recipe for target 'run/demo' failed make: *** [run/demo] Error 255 Any idea? Thanks in advance! PS: Host OS is Ubuntu 18.04 LTS.

3 2

Java and VFS on different kernels
by Roman Iten 12 Aug '19

12 Aug '19

I'm experimenting with the cool feature of running Java applications introduced in Genode 19.02. I created a run script (= "copied java.run and made some minor changes") that builds and integrates a trivial Java example (check prime) [1]. It works as expected for BOARD=linux and KERNEL=linux. But for BOARD=pc and KERNEL=[hw|nova] it doesn't. Actually, I have two issues I don't understand: 1. Java cannot load the jar file: [init -> java] Error: Invalid or corrupt jarfile app.jar A workaround is to pack it into a tar file and mount it accordingly into the VFS. 2. Reading the numbers from stdin leads to: no RM attachment (READ pf_addr=0x5617b8 pf_ip=0x49a10 from pager_object: pd='init -> java' thread='pthread') Warning: page fault, pager_object: pd='init -> java' thread='pthread' ip=0x49a10 fault-addr=0x5617b8 type=no-page no RM attachment (READ pf_addr=0x4e6838 pf_ip=0x276e23f from pager_object: pd='init -> java' thread='pthread') Warning: page fault, pager_object: pd='init -> java' thread='pthread' ip=0x276e23f fault-addr=0x4e6838 type=no-page no RM attachment (WRITE pf_addr=0x49d300 pf_ip=0x82a79 from pager_object: pd='init -> java' thread='alarm-timer') Warning: page fault, pager_object: pd='init -> java' thread='alarm-timer' ip=0x82a79 fault-addr=0x49d300 type=write-fault I would have expected the run script to be platform independent. Can someone explain why it isn't? Thanks, Roman [1] https://github.com/rite/genode-world/commit/84e72ed8433114b9c0624ed1f55aeff…

2 1

Genode Community Summer - Invitation
by Martin Stein 12 Aug '19

12 Aug '19

Recently, several requests reached us at Genode Labs from people interested in coming to Dresden for a certain period of time to work on their Genode project while beeing able to seek our assistance in person. To give this idea a dedicated space, Genode Labs will hold a new event, the "Genode Community Summer" this year. *** For whom? *** The gathering is open for everyone of the Genode community. Each participant should have a concrete project to pursue during the time and be able work on this project independently most of the time. Unlike a commercial offered workshop, there won't be any lecture or intensive coaching, but simply co-working in an informal and friendly setting. During the day, people of our team would also work there so that participants can seek our assistance at any time. Please note that anything confidential should better be left at home! This way, we can accommodate people with different backgrounds at the same time while the event bears potential for networking effects among different community members. *** Where? *** The event will take place in the lower floor of the Genode Labs office, Friedrichstraße 26, 01067 Dresden, Germany. Note, that lodging is up to each participant individually. *** When? *** Over two weeks from 16th to 27th of September 2019. It is possible to participate only for a part of this time. *** How to register? *** Each participant must register in advance since our space is limited but the event will be at no cost. Please register via mail to the mailing list or martin.stein(a)genode-labs.com. We will hold the event only if at least 4 people register until end of August. We will inform all participants through the mailing list as soon as we have 4 registrations. Your registration must contain a brief description of the project you're planning to pursue during the gathering. Please also add whether you like to participate for the whole two weeks, and if not, which part of that time you will participate. If you have further questions regarding the Genode Community Summer, please don't hesitate to ask directly (martin.stein(a)genode-labs.com) or at the mailing list. Hope to see you there!

1 0

Re: jdk_generated: creating a classes.tar file
by Sebastian Sumpf 09 Aug '19

09 Aug '19

Hi Pirmin, On 8/9/19 9:31 AM, Duss Pirmin wrote: > Hello > > On 09.08.19 09:11, Duss Pirmin wrote: >> Hello Genodians >> >> I'm currently porting jtreg to Genode, so that I can run regression >> tests for Java. >> >> This requires some .class files that aren't currently in the classes.tar >> from the jdk_generated port. >> >> Is there a short description, on how this file was created, so I can >> create an other version of this file? > > I think, that I have found out how to do it. The file > _the.java.base_batch.cmdline inside the tar contains the command line on > how to do it. > > All I have to do now is to adapt all paths to my machine. And replace > the no longer supported -Xbootclasspath/p option. > I downloaded (https://api.github.com/repos/dmlloyd/openjdk/tarball/64892f1c9874938dfcdc23…) and built OpenJDK on Linux (x86_64). The modules are than located under:' <jdk-dir>/build/linux-x86_64-normal-server-release/jdk/modules'. I created the tar archive from this directory and added classes as needed. Since it is byte code, it will also work on ARM. Regards, Sebastian -- Sebastian Sumpf Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

jdk_generated: creating a classes.tar file
by Duss Pirmin 09 Aug '19

09 Aug '19

Hello Genodians I'm currently porting jtreg to Genode, so that I can run regression tests for Java. This requires some .class files that aren't currently in the classes.tar from the jdk_generated port. Is there a short description, on how this file was created, so I can create an other version of this file? Best regards, Pirmin

1 1

Re: users Digest, Vol 16, Issue 1
by Nanfang Hu 07 Aug '19

07 Aug '19

I have tried to expand the disk as described in the given doc. Afterward this USB disk is not bootable any more. Nanfang Sent from my iPhone > On Aug 1, 2019, at 3:00 AM, 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: Sculpt - Boot from USB and Save configurations for a > reboot (Alexander Boettcher) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Wed, 31 Jul 2019 15:43:30 +0200 > From: Alexander Boettcher <alexander.boettcher(a)genode-labs.com> > To: users(a)lists.genode.org > Subject: Re: Sculpt - Boot from USB and Save configurations for a > reboot > Message-ID: <44fa0238-12bc-0416-d4b2-591171cf68a8(a)genode-labs.com> > Content-Type: text/plain; charset=utf-8 > > Hello, > >> On 31.07.19 00:15, Nanfang Hu 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. > > did you expand the filesystem on your USB stick as described in the > Sculpt documentation [0] ? > > [0] > https://genode.org/documentation/articles/sculpt-19-07#Storage_device_acces… > > 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 > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > users mailing list > users(a)lists.genode.org > https://lists.genode.org/listinfo/users > > ------------------------------ > > End of users Digest, Vol 16, Issue 1 > ************************************

2 1

Celebrating 11 years of Genode on August 29, 2019
by Christian Helmuth 07 Aug '19

07 Aug '19

It's summer again and like every year since 2009 we want to celebrate the anniversary of the first public release of Genode with you by a casual barbecue and campfire at the Elbe river banks! For Genode, the past year was full of exciting achievements from the background of the year of Sculpt OS, the annual Microkernel devroom at FOSDEM as well as Hack'n'Hike 2019, the birth of Genodians.org as a virtual place to share stories about Genode, and many technical endeavors, for example, extensive support for NXP i.MX SoCs and the port of OpenJDK. So, if you like to recall the past year's events, glimpse at our next steps, and get together with friends of Genode, we invite you to our anniversary party. Google Maps: http://goo.gl/maps/C0luj 29th of August, 6 pm near Eisenberger Strasse in Dresden Enjoy grilled vegetarian or non-vegetarian food, have a drink, chat with the people of Dresden's operating-systems community, and relax at the nice scenery of the river! If you are going to attend, we would greatly appreciate a short note from you to ease our preparations: info(a)genode-labs.com Hope to see you there Christian -- 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

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

mystique error during app load
by Alexander Tormasov 06 Aug '19

06 Aug '19

I write some sample application to run inside Genode over seL4 inside VM with 4Gb. and, I see a problem with LD, saying something with memory (in the end of log): [init -> test-go] Error: LD: exception during program load: 'Genode::Region_map::Region_conflict' any ideas what cause and how to get mode info? I suspect again incorrect config in runscript, while similar test-cache app runs ok thanks! <config> <parent-provides> <service name="LOG"/> <service name="CPU"/> <service name="PD"/> <service name="ROM"/> <service name="IO_MEM"/> </parent-provides> <default-route> <any-service> <parent/> </any-service> </default-route> <default caps="1000"/> <start name="test-go"> <resource name="RAM" quantum="128M"/> </start> </config> Bender: Hello World. Boot config: parsing cmdline 'sel4 disable_iommu' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = true module #0: start=0xfd29000 end=0xffff330 size=0x2d6330 name='image.elf' Physical Memory Region from 0 size 9fc00 type 1 Physical Memory Region from 9fc00 size 400 type 2 Physical Memory Region from dc000 size 24000 type 2 Physical Memory Region from 100000 size afeec000 type 1 Adding physical memory region 0x100000-0xaffec000 Physical Memory Region from affec000 size 2000 type 2 Physical Memory Region from affee000 size d000 type 3 Physical Memory Region from afffb000 size 5000 type 4 Physical Memory Region from fec00000 size 1000 type 2 Physical Memory Region from fed00000 size 1000 type 2 Physical Memory Region from fed04000 size 1000 type 2 Physical Memory Region from fee00000 size 1000 type 2 Physical Memory Region from ffc00000 size 400000 type 2 Physical Memory Region from 1000000000 size 50000000 type 1 Adding physical memory region 0x100000000-0x150000000 Got framebuffer info in multiboot2. Current video mode is at physical address=b0000000 pitch=10240 resolution=2560x1600@32 type=1 Detected 1 boot module(s): ***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling Kernel loaded to: start=0x200000 end=0xaa5000 size=0x8a5000 entry=0x201209 ACPI: RSDT paddr=0xaffee000 ACPI: RSDT vaddr=0xaffee000 ACPI: FADT paddr=0xaffee040 ACPI: FADT vaddr=0xaffee040 ACPI: FADT flags=0xd ACPI: MADT paddr=0xaffee200 ACPI: MADT vaddr=0xaffee200 ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_APIC apic_id=0x0 ACPI: MADT_IOAPIC ioapic_id=0 ioapic_addr=0xfec00000 gsib=0 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0 ACPI: MADT_ISO bus=0 source=14 gsi=14 flags=0x4 ACPI: MADT_ISO bus=0 source=15 gsi=15 flags=0x4 ACPI: 1 CPU(s) detected ELF-loading userland images from boot modules: size=0x1140000 v_entry=0x2000018 v_start=0x2000000 v_end=0x3140000 p_start=0x10000000 p_end=0x11140000 Moving loaded userland images to final location: from=0x10000000 to=0xaa5000 size=0x1140000 Starting node #0 with APIC ID 0 Mapping kernel window is done vt-x: not supported Booting all finished, dropped to user space :phys_mem_16k: Allocator 0x2fe7730 dump: Block: [0000000000200000,0000000000240000) size=256K avail=256K max_avail=256K => mem_size=262144 (0 MB) / mem_avail=262144 (0 MB) Warning: memory in range [0000000100000000,0000000140000000) is unavailable (due to limited untyped cnode range) Warning: memory in range [0000000140000000,0000000148000000) is unavailable (due to limited untyped cnode range) Warning: memory in range [0000000148000000,000000014c000000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014e000000,000000014f000000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f000000,000000014f400000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f400000,000000014f600000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f600000,000000014f700000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f700000,000000014f780000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f780000,000000014f7c0000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f7e0000,000000014f7e4000) is unavailable (due to limited untyped cnode range) Warning: memory in range [000000014f7e4000,000000014f7e5000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000150000000,0000000160000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000160000000,0000000180000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000180000000,0000000200000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000200000000,0000000400000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000400000000,0000000800000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000800000000,0000001000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000001000000000,0000002000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000002000000000,0000004000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000004000000000,0000008000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000008000000000,0000408000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000408000000000,0000608000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000608000000000,0000708000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000708000000000,0000788000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000788000000000,00007c8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007c8000000000,00007e8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007e8000000000,00007f8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007f8000000000,0000800000000000) is unavailable (due to limited untyped cnode range) virtual address layout of core: overall [0000000000002000,0000000200000000) core image [0000000002000000,0000000003140000) ipc buffer [0000000003140000,0000000003141000) boot_info [0000000003141000,0000000003143000) stack area [0000000040000000,0000000050000000) Warning: need physical memory, but Platform object not constructed yet Warning: need physical memory, but Platform object not constructed yet Warning: need physical memory, but Platform object not constructed yet boot module 'config' (372 bytes) boot module 'test-go' (10088 bytes) boot module 'ld.lib.so' (1002416 bytes) boot module 'init' (345536 bytes) Warning: need physical memory, but Platform object not constructed yet Genode sculpt-19.07 <local changes> 2721 MiB RAM and 261141 caps assigned to init Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8 [init -> test-go] Error: LD: exception during program load: 'Genode::Region_map::Region_conflict' Kernel: Thread 'ep' died because of an uncaught exception [init -> test-go] Error: Uncaught exception of type 'Genode::Region_map::Region_conflict' [init -> test-go] Warning: abort called - thread: ep Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20 [init] child "test-go" exited with exit value 1 Sincerely, Alexander

3 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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users