users July 2015

users@lists.genode.org

24 participants
28 discussions

base-hw: Virtualbox thread priorities
by Adrian-Ken Rueegsegger 10 Jul '15

10 Jul '15

Hi, While investigating the cause for the performance discrepancy of Virtualbox on NOVA vs hw_x86_64[_muen] [1], I have determined, with help from Alexander, that Virtualbox thread priorities [2] are not applied on base-hw. Even though priorities are specified when constructing the Cpu_connection [3], they have no effect since no quota is subsequently assigned/transferred. According to the 14.11 release notes [4], threads without quota have no guarantee to be scheduled and their priority is ignored. I believe this is the main cause for the difference in execution speed of Virtualbox on NOVA and base-hw. I was wondering if you could confirm my analysis of the issue and provide some pointers on how to best achieve the proper application of Virtualbox thread priorities on base-hw. Regards, Adrian [1] - Even in recompiler-only mode the guest execution on NOVA is considerably faster than on hw_x86_64 or hw_x86_64_muen [2] - https://www.virtualbox.org/browser/vbox/trunk/include/iprt/thread.h#L90 [3] - https://github.com/genodelabs/genode/blob/master/repos/ports/src/virtualbox… [4] - http://genode.org/documentation/release-notes/14.11#Trading_CPU_time_betwee…

4 17

Trying to port DosBox on Genode
by Daren Sin 08 Jul '15

08 Jul '15

Hi all! I'm trying to follow the instructions stated on the page http://genode.org/documentation/developer-resources/porting_dosbox but I seem to be getting some problems. I could export the svn directory of DosBox successfully, and a directory for DosBox was also created successfully. But once I *cd* into the directory, I could not seem to run the *make* instruction; all I got in the *build.log* file was *make: *** No targets specified and no makefile found. Stop. *(though I notice that there's a *Makefile.am*) Thanks!

2 3

"Core" thread doesn't become active in kernel initialization
by Bob Stewart 07 Jul '15

07 Jul '15

Hi, I'm bringing up Genode (15.05) on an TI AM437x SoC and it is failing kernel initialization. The initialization appears go ok until the call to init_kernel_mp_primary(). Once the Core_thread singleton is created the last printf output that appears is one I inserted after the call to to _become_active() in the constructor. A printf inserted into the singleton method after the Core_thread creation never shows up on the console. The initialization never completes. The AM437x is a Cortex-A9MP platform with a single core. It is very similar to the Panda board as far as memory mapping goes. Any hints on how to debug this situation further would be very helpful. Thanks, Bob Stewart

5 15

Attempting to run L4Linux/Fiasco.OC combination in VirtualBox
by Thotheolh Tay 06 Jul '15

06 Jul '15

Hi, I attempted to run a 32 bit built L4Linux/Fiasco.OC built from 15.05 Genode Framework onto a VirtualBox instance with the following VirtualBox configuration attached in the mail. I only saw a few lines of Boot message quickly passing by (too quick to actually read it) and then a blank screen. Do I need to do anymore thing to make the ISO L4Linux run on the VirtualBox ?

2 1

Creating my first Genode application
by Daren Sin 06 Jul '15

06 Jul '15

Hi all, I'm currently trying to run Genode on a NOVA hypervisor. I'm following the tutorial in http://genode.org/documentation/developer-resources/client_server_tutorial, but ran into a bit of trouble in the section "Making it fly". I can't seem to add the *config* code in*build/bin/config*. Correct me if I'm wrong, the *build* directory is the one that we've previously created using the *create_builddir* tool right? For my case, I'm using the NOVA microkernel, and I named my build directory *build.nova*. So this should be the *build* directory right? Daren

2 1

cannot run make/demo
by Daren Sin 03 Jul '15

03 Jul '15

Hi, I tried the steps listed in the Genode website, and I'm trying to run Genode on the NOVA microkernel. Previously, I've had trouble running the above because I didn't install Expect correctly. Now, I've passed that hurdle and encountered another problem: ... make[1]: Leaving directory `/home/mylinux/Downloads/genode-15.05/build_dir' genode build completed Warning: Cannot validate config syntax (please install xmllint) cp: cannot stat ‘bin/fb_drv’: No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "run_boot_dir" line 6) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/mylinux/Downloads/genode-15.05/repos/os/run/demo.run" line 225) 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/mylinux/Downloads/genode-15.05/tool/run/run" line 642) make: *** [run/demo] Error 1 Upon installing the libxml2-utils package, the line "Warning: Cannot validate config syntax (please install xmllint)" disappeared, but the rest of the error message still exists. Any help here? Daren

5 7

Inquiry about The ethernet stack in Genode
by Ssekyanzi Badru 01 Jul '15

01 Jul '15

Hello Am new to using Genode. As part of my project work i would like to better understand the working of the Ethernet stack in Genode. Your help will be highly appreciated. Mit freundlichen Grüßen *Sekyanzi Badru* Technische Universitaet Muenchen Fakultaet fuer Electronik und Informatik

2 1

cannot run make run/demo
by Daren Sin 01 Jul '15

01 Jul '15

Hi all! I've just subscribed to this mailing list, in hopes of getting some clarification to how Genode works! I've been trying to run Genode on a NOVA microkernel. Although I had much progress following the steps in http://genode.org/documentation/platforms/nova, I was stuck at the last step when I was supposed to run *make run/demo*. I got the error */usr/bin/expect: bad interpreter: No such file or directory* *make: *** [run/demo] Error 126* Some background: I followed all the steps, even those that are not in that page above, like commenting out certain parts of *build.conf* in the build directory (I named mine *build_dir)*. I searched around, and found out from http://sourceforge.net/p/genode/discussion/825067/thread/e2d61570/?limit=25… that I haven't had the expect package installed. But I still got the same error after installing the package. Could someone explain to me why I'm having this problem? Also, where should I run the *make run/demo* in? Logically, I should run it in a directory with a *Makefile* right? Cheers Daren

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2015