users May 2016

users@lists.genode.org

19 participants
17 discussions

Questions about the Nic_bridge and VirtualBox bug
by Charles HH 16 Jun '16

16 Jun '16

Hi, I've been experimenting with the nic_bridge a bit, and I came upon several problems/questions. First, when trying to connect a Linux VM through the bridge, it failed to obtain a IP from the DHCP server. I invistigated a little : the Discover packet get through, but the Offer is never transmitted to the client. The config shouldn't be the problem, considering the network worked fine with static IPs. I'm not sure if it is the origin of the issue, but the handling of the offer packet in nic.cc failed to parse the DHCP options (by adding debug prints in the option() function in dhcp.h, I saw that it got the first one right with the correct length 4, but then jumped 6 octet instead for the next option code). I was also wondering if it would be possible to use several bridges in cascade. If I understand correctly, each Nic session opened on the bridge has an assigned mac address, but would it be feasible to use a single session for a sort of subnetwork? Finally, the recent commits on master (between the 04-11 and the 04-25) have broken my vbox scenario : virtual box refuses to access

4 10

netperf
by Анна Будкина 07 Jun '16

07 Jun '16

Hello! I'm running netperf TCP_STREAM and TCP_MAERTS tests for lxip stack and i obtained extremely low result - 5x10^6 bits/s while the maximum throughput is 1000 mbit/s . I wonder what could be the reason for that. Anna

6 16

[TZ_VMM] - i.MX53 QSB
by Tiago Brito 31 May '16

31 May '16

Hi, I have an i.MX53 QSB development board and I want to experiment with ARM TrustZone. I'm a beginner with regards to genode and kernel development in general. I was able to run tz_vmm on the QSB and interact with the linux which runs in normal world. What I want to do next is a fairly simple system where inside linux I can call an SMC and switch to the secure world, then whilst in secure world print something (like "Hello From Secure World" and also print some argument from the normal world) and then go back to linux. I have read some of the messages in the mailing list and I noticed some of you (other mailing list subscribers) already achieved similar communication protocols but because I'm new to genode I don't know where to start. I know I probably have to create a kernel module for the linux running in normal world so I can call SMC from a userspace application, but I don't know how to do that since I don't see where the linux is being compiled for genode [1]. Do I have to compile another linux? How do I incorporate this new linux version to work with genode? Besides this I also don't know where to start modifying tz_vmm in order to achieve my goals. I know where tz_vmm's code is but I don't know where to start changing it. I have also seen some mailing list questions regarding the world switch from secure world to normal world. It seems that from normal to secure you should call an SMC, but from secure to normal the monitor mode implementation cannot handle entries from the secure world and thus no SMC can be called directly [2]. Can you give my some feedback on how to achieve these things on the i.MX53 QSB? Thanks in advance, Tiago [1] - https://sourceforge.net/p/genode/mailman/message/33244107/ [2] - https://sourceforge.net/p/genode/mailman/message/34244066/

2 3

[IPU] - Framebuffer Driver on the i.MX53 QSB
by Tiago Brito 31 May '16

31 May '16

Hi, I want to build a system based on the TZ_VMM example where a user space Linux application can trigger a SMC. This SMC will tell the secure world to display an image (and then return to the normal world after some time or after the user explicitly triggers another world switch). For now I want to start by using Linux on the Normal World, but I want to eventually run Android in the Normal World. The question which made me come to the mailing list is the following: in your article regarding TrustZone [1], section "Additional device drivers", you write that in order to run Android at almost-native performance in the normal world you used hardware overlays and that you invested significant development time into enabling this feature on the QSB. Does this mean you have a working framebuffer driver for the i.MX53 QSB as well as a working example on how to use hardware overlays on this platform? If so I would like to know where can I get the mentioned framebuffer driver as well as the hardware overlay example. Thanks, Tiago [1] - An Exploration of ARM TrustZone Technology ( http://genode.org/documentation/articles/trustzone)

3 4

16.05 printf test does not build for Cortex A9.
by Bob Stewart 30 May '16

30 May '16

Hi, It appears that the 16.05 build uses a new environment parameter BASE_HW_DIR, which cause a build on a Cortex A9 based platform to fail in lib/mk (that is, base-hw/lib/mk/spec/cortex_a9.h) bob@...297...:/Work/Genode/Builds/16.05/437x$ make run/printf including /Work/Genode/genode-16.05/tool/run/boot_dir/hw including /Work/Genode/genode-16.05/tool/run/image/uboot including /Work/Genode/genode-16.05/repos/base/run/printf.run building targets: core init test/printf spawn make core init test/printf make[1]: Entering directory `/Work/Genode/Builds/16.05/437x' checking library dependencies... /Work/Genode/genode-16.05/repos/base-hw/lib/mk/spec/cortex_a9/core.inc:25: /lib/mk/spec/smp/core.inc: No such file or directory /Work/Genode/genode-16.05/repos/base-hw/lib/mk/spec/cortex_a9/core.inc:26: /lib/mk/spec/arm_v7/core.inc: No such file or directory make[3]: *** No rule to make target `/lib/mk/spec/arm_v7/core.inc'. Stop. make[2]: *** [gen_prg_rule] Error 2 make[1]: *** [traverse_dependencies] Error 1 make[1]: Leaving directory `/Work/Genode/Builds/16.05/437x' Error: Genode build failed make: *** [run/printf] Error 252 This can be fixed by including in cortex_a9.h the line; BASE_HW_DIR := $(REP_DIR) But why is it necessary to have this new variable? Bob Stewart

3 4

Announcement: Genode OS Framework version 16.05 released
by Christian Helmuth 27 May '16

27 May '16

The central aspect of the current release is the fundamental renovation of our base API. The API gradually evolved over the years since 2006 while we gained a wealth of experience with a wide range of usage scenarios and their requirements. We eventually realized that the need for fundamental changes to greatly increase robustness and flexibility can no longer be ignored. Therefore, this release brings new API functions reflecting our current knowledge about how a secure, low-complexity C++ OS framework should look like and, on the other hand, deprecates a wide range of interfaces that will be removed in future versions. Beside the API changes, we packed quite a few exciting features and improvements into the release. The current release contains the following changes and new features: - Fundamental revision of the framework API - New revision of the "Genode Foundations" book - Enhanced ACPI support on x86 - Device drivers - Updated Linux-based drivers to Linux version 4.4.3 (Intel wireless, Intel graphics, USB, TCP/IP stack) - Updated OpenBSD-based audio driver to version 5.9 - GNU debugger running on 64-bit NOVA - Rust programming language for Genode components - Tool-chain update Find the complete release documentation for the version 16.05 here http://genode.org/documentation/release-notes/16.05 Kind regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://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

About GPU support on ARM platforms
by Reinier Millo Sánchez 26 May '16

26 May '16

Hi Genode community I'm working with Exynos4 and RPi, both ARM platforms. I'm interested to use the GPU on both platforms to enconde/decode video. Is somebody working on ARM GPU drivers, or have worked on it? I'm using basically FiascoOC as microkernel, but if i use Linux as base kernel, how i can use the linux device driver through GenodeOS? So that the applications developed have a minimum kernel dependencies, allowing later the replacement of the linux kernel by FiascoOC microkernel, when the device driver is implemented. Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas Carretera a CamajuanÃ Km 5 1/2 Santa Clara, Villa Clara, Cuba CP 54830 "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

2 1

Turmvilla scenario : error copying "......./gems/run/subsystems/noux.subsystem": no such file or directory
by Parfait Tokponnon 24 May '16

24 May '16

Hello Genode world, I'm experiencing this error when trying to setup the turmvilla scenario from here <https://github.com/genodelabs/genode/issues/1552>. make[1]: quittant le répertoire « /home/parfait/git/genode-parfait/build/nova_x86_64 » genode build completed error copying "/home/parfait/git/genode-parfait/repos/gems/run/subsystems/noux.subsystem": no such file or directory while executing "file copy -force [genode_dir]/repos/gems/run/subsystems/$subsystem.subsystem [run_dir]/subsystems/ " ("foreach" body line 2) invoked from within "foreach subsystem { noux linux cpu_load_display } { file copy -force [genode_dir]/repos/gems/run/subsystems/$subsystem.subsystem \ [run_dir]/subsys..." (file "/home/parfait/git/genode-parfait/repos/gems/run/turmvilla.run" line 991) 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/parfait/git/genode-parfait/tool/run/run" line 642) make: *** [run/turmvilla] Erreur 1 The complete output is attached to the mail. Can you help me figure out what is going wrong? Regards, -- Parfait T.

1 0

x86 Genode missing modules
by Chris Rothrock 18 May '16

18 May '16

I have built Genode with the Nova microkernel and am able to get my grub2 to boot to the build, however it appears that there are two modules missing from the compile I was able to build - bootloader and pci_drv. Without these modules, the hypervisor boots but gets hung at displaying the processor information, never a command prompt. Is there something in the compile I need to set to get these two modules to compile with the rest of Genode? -- Thanks, Chris

3 3

[genode-main] network implementation example (for Parallella Board)
by Rank Jerome 18 May '16

18 May '16

Hello, I am a beginner in operating system level programming and a novice in the use of Genode OS. I use Genode OS Framework 15.11 from the sourceforge download. I have carried out successfully the hello world introduction from the 15.05 manual (Chapter 2.5) and the hello tutorial from the homepage, but now I am stuck. Scenario: I have a (non-genode) server (runs in another terminal) which sents UDP packets. These UDP packets I would like to register within my program at Genode OS (hw_zync) on a qemu-emulated Parallella Board. For the Parallella Board the Genodes so called base-hw platform is to be used. I already know that there are network drivers within dde_ipxe and that within the repository "os" under "net" and "nic" exists header files (e.g ethernet.h, udp.h). Furthermore, I know that I need to include the IP address within the run files somehow. I also can not find (not even with "find") the file <lwip/sockets.h>, which is referrenced in some files (like ). I do not know how I can achieve my implementation using this found information. How can I access the network interface of Parallella Board? How do I register UDP packets for further processing? Has anyone in this regard already functioning implementation examples which help me understand my desired realization. with regards, Jerome

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2016