users November 2019

users@lists.genode.org

10 participants
9 discussions

x86 virtualization on Ryzen
by Nobody III 29 Nov '19

29 Nov '19

With the relatively new generic virtualization interface, Seoul is now able to run on my AMD Ryzen machine. However, VirtualBox still crashes when starting the VM. With the NOVA-specific interface, it would die from an unresolved page fault, while with the generic interface, it throws a general exception that doesn't seem to give much information. I don't have the log on hand right now; otherwise I would specify the exception. What differences are there that could make VirtualBox fail while Seoul works fine? My UEFI version should be new enough to have the Ryzen CPUID issue patched, so that shouldn't be the problem, but I don't know how to empirically rule that out.

1 0

Announcement: Genode OS Framework version 19.11 released
by Norman Feske 28 Nov '19

28 Nov '19

We just released the version 19.11 of the Genode OS Framework. The highlights of this version are the prototype of a custom block-device encrypter implemented in SPARK, virtualization of 64-bit ARM platforms, new tooling especially geared towards the porting and development of application software, and much improved POSIX compatibility. Summary: - New (preliminary) block-device encryptor - New virtualization of 64-bit ARM platforms - New tooling for application development - Enhanced POSIX compatibility - More supported Intel wireless devices - Multi-core 64-bit ARM - Self-hosting on 64-bit ARM The background stories and technical details of those topics are covered in depth by our release documentation: https://genode.org/documentation/release-notes/19.11 I wish you a lot of fun with exploring the new version! Norman -- 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

libc improvements on master and gRPC
by Stefan Thöni 26 Nov '19

26 Nov '19

Hi Genodians, with Genode 19.08 we had some problems with the gRPC server crashing undeterministically after a few connections. Despite our best efforts we have failed to debug that problem so far. As we heard of some libc/vfs improvements in the current Genode master we decided to try running gRPC with this. The result is a assertion in the gRPC code concerning a mutex unlock, which could indicate the same race condition producing another sympthome. To pinpoint that bug we need to better understand the workings of and change to libc. Can anyone shine a light on this? (If you would like to try out the our gRPC with the reduced size port, please check out the 'grpc' runscript on branch https://github.com/trimpim/genode-world/tree/protobuf_grpc_reduced_port_size) 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

1 0

Java fails to start when classes.tar is not loaded via the vfs tar plugin
by Duss Pirmin 25 Nov '19

25 Nov '19

Hello Genodians I'm tying to optimize the startup time of a java application (ARM board), as starting the JVM takes several seconds on our board. To do this, I tried to move the classes.tar in to a separate vfs component [1]. This crashes the JVM with the following error message: [init -> java] Error occurred during initialization of VM [init -> java] java.lang.NoClassDefFoundError: java/util/concurrent/ConcurrentHashMap [init -> java] at java.lang.WeakPairMap.<init>(java.base/WeakPairMap.java:47) [init -> java] at java.lang.Module.<clinit>(java.base/Module.java:267) Can anyone tell me, why this happens? Is there a way to fix this? [1] https://github.com/trimpim/genode-world/commit/3ec7d915e20576a786a3e89decb4… Best regards, Primin

2 4

Cross-compilation of lx_hybrid components
by Roman Iten 25 Nov '19

25 Nov '19

Hi, I use base-linux on an arm_v7a target. This works well except for lx_hubrid components (for example linux_nic_drv). On several places the toolchain, includes and libraries of the host are used (see repos/base-linux/lib/import/import-lx_hybrid.mk). Do you see a way how I can cross-compile on a Linux x86_64 host for a Linux arm_v7a target? Thanks, Roman -- Roman Iten Founder and Senior Software Engineer gapfruit AG Baarerstrasse 135 CH-6300 Zug +41 79 683 61 84 roman.iten(a)gapfruit.com

2 4

Repeated TCP connection cause stack problems
by Stefan Thöni 22 Nov '19

22 Nov '19

Hi Genodians, for our current project we would like to use the lwip stack. We discovered that repeated tcp connections cause a segfault or assert both under nova and linux. Then we switched to the lxip stack which fares better but gets stuck after 340 tcp connections both under nova and linux. I've uploaded a stress test run script named "tcp_stress_lwip" and "tcp_stress_lxip" respectively that shows this problem: https://github.com/throwException/genode/commits/tcp_stress_test Does anyone have any ideas on how to fix any of these problems? (If the problems get fixed it might be a good idea to integrate these stress tests into automated regression tests.) 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

1 0

Building "gdb_monitor_interactive" problem
by Marcin.Motylinski＠umlaut.com 22 Nov '19

22 Nov '19

Dear, I try to find a way to debug components under Genode. My target platform is Linux kernel that runs on x86_64 platform, but as it was stated in document https://genode.org/documentation/developer-resources/gdb one is not supported for now. Is it true? Can I expect any support in future? Anyway, I tried to build and run "gdb_monitor_interactive" example, using Fiasco.OC and x86_32 platform. For now, I'm facing following issue: ... Program lib/ld/foc/ld-foc make[1]: Leaving directory '/home/marcin/projects/genode/build/x86_32' genode build completed using 'core-foc-pc.o' as 'core.o' using 'gdbserver_platform-foc.lib.so' as 'gdbserver_platform.lib.so' error copying "bin/gdbserver_platform-foc.lib.so": no such file or directory while executing "file copy -force bin/[kernel_specific_binary $binary] [run_dir]/genode/$binary" (procedure "copy_genode_binaries_to_run_dir" line 4) invoked from within "copy_genode_binaries_to_run_dir $modules" (procedure "build_core_image" line 12) invoked from within "build_core_image $binaries" (procedure "run_boot_dir_x86" line 21) invoked from within "run_boot_dir_x86 $binaries" (procedure "run_boot_dir" line 3) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 34) invoked from within "build_boot_image $boot_modules" (file "/home/marcin/projects/genode/repos/ports/run/gdb_monitor_interactive.run" line 94) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/marcin/projects/genode/tool/run/run" line 1006) Makefile:323: recipe for target 'run/gdb_monitor_interactive' failed make: *** [run/gdb_monitor_interactive] Error 1 when I'm running 'make run/gdb_monitor_interactive KERNEL=foc' under x86_32 platform. There's no 'gdbserver_platform-foc.lib.so' in build folder tree, only 'gdbserver_platform.lib.so' exists. I'm using Genode 19.08. -- Marcin Motylinski umlaut marcin.motylinski(a)umlaut.com www.umlaut.com P3 eS GmbH legal disclaimer, mandatory information and the umlaut office addresses can be found at https://imprint.umlaut.com/SES

2 1

[ukvly-announce] CfP: FOSDEM 2020 - Microkernels and Component-based OS devroom (fwd)
by Christian Helmuth 15 Nov '19

15 Nov '19

-- 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

1 0

seL4/Genode on zynq7000; TTC Timer Component
by Alexander Weidinger 01 Nov '19

01 Nov '19

Hello Genodians, we adapted the zynq7000 target to run with Genode/seL4[4], which was done accordingly to the imx6 and imx7 targets already existing in Genode. Since we are in need for a timer component and the seL4 doesn't provide a "l4_ipc_sleep()" call, like it is used for the generic timer component in Fiasco.OC, we started implementing a timer[1,2] based on the TTC of the Zynq7000[0]. By now we have it up and running but with a high deviation the longer it runs (already 30 seconds deviation after only 2 minutes). This deviation originates from a few problems we have: - The timers in TTC only provide a 16 Bit width -> high number of IRQs when trying to achieve high precision - The input clock is 133MHz and can only be prescaled by a division of 2^(n+1) with 0 < n <= 16 -> hard to work with? Currently we implement it similar to the imx6 timer, by generating IRQs when a match in the MATCH0 register is acknowledged. I'm not very experienced in this topic and any help is appreciated on how to resolve the deviation issues or how to implement it in a better way - e.g. by using a different hardware timer which I didn't discover in the TRM. Additionally I'd like to know if there is an easy way to configure the maximum RAM of a platform in seL4/Genode apart from limiting it in 'contrib/sel4-*/src/kernel/sel4/include/plat/*/plat/machine/hardware.h'? Best regards, Alex PS: As Zynq7000 platform we use the Digilent Zybo[3]. [0]: https://www.xilinx.com/support/documentation/user_guides/ug585-Zynq-7000-TR… [1]: https://github.com/irgendwie/genode/blob/rtcr-19.08-ttc/repos/base/src/time… [2]: https://github.com/irgendwie/genode/blob/rtcr-19.08-ttc/repos/base/src/time… [3]: https://store.digilentinc.com/zybo-zynq-7000-arm-fpga-soc-trainer-board/ [4]: https://github.com/irgendwie/genode/commit/60ffef31b52d6566f481b3de87b4720f…

3 4

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users November 2019