users August 2014

users@lists.genode.org

20 participants
21 discussions

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

Re: Genode Hack'n Hike 2013
by Norman Feske 23 Mar '15

23 Mar '15

Hello everyone, the date for this year's Genode Hack'n Hike held during 11-16 of September is approaching. Genode's developers will spend those days in the beautiful scenery of the Bohemian Switzerland, relaxing, hiking, and hacking on fun side projects. The Hack'n Hike will be the perfect setting for getting involved with the community, catching up, or just hanging out with the Genode crowd. There is still room for more participants. Genode Labs sponsors the event. So your participation/accommodation is free. If you like to join in, please get in touch by writing to hacknhike@...1... or commenting on https://github.com/genodelabs/genode/issues/793. Cheers Norman On 07/25/2013 02:38 PM, Norman Feske wrote: > Hello, > > let me get back to this year's Genode Hack'n Hike planned for the 11th > to 16th of September. Since I posted the initial announcement (below), > we settled for a beautiful location in the Bohemian Switzerland in Czech > Republic. Check out the following links for wetting your appetite: > > http://goo.gl/maps/TAZc1 > http://www.kristinhradek.cz/en > > The location lends itself to a multitude of leisure activities. For > planning those activities and to discuss topics around the Hack'n Hike > event, there is a dedicated issue in the Genode issue tracker: > > https://github.com/genodelabs/genode/issues/793 > > Please feel welcome to join in, whether to stay the whole time or just > for a short visit. Genode Labs will sponsor the accommodation, but the > available space is limited. If you consider to join this year's Hack'n > Hike, please send a short notice to the following email address to > register your participation: > > hacknhike@...1... > > Cheers > Norman > > On 06/05/2013 12:42 PM, Norman Feske wrote: >> Hello, >> >> I'd like to share the following excerpt of the latest Genode-Labs >> newsletter with you: >> >> >> Join us at Genode's Hack'n Hike event >> ------------------------------------- >> >> In spring of 2012, we held the first instance of the Genode Hack'n >> Hike, which were wonderful days full of hacking, relaxing, brain- >> storming, and enjoying the magnificent nature of the Saxon Switzerland >> together. From the feedback we got from the attendees, it goes >> without saying that this should not stay a singular event, but >> rather be the prelude of a tradition. Hence, we have fixed the date >> for this year's Hack'n Hike: >> >> Begin: Wednesday, September 11 >> End: Monday, September 16 >> >> We extended the duration of the event over that of last year's. >> Whether you'd like to drop by for just a few hours, or you'd like to >> stay for the whole time, you are welcome to join in. Genode Labs >> will sponsor the accommodation. So don't worry too much about the >> costs. >> >> As of now, we haven't finalized the decision about the venue, but >> you can be sure that it will be a beautiful and romantic place, >> presumably in Saxony/Germany or Bohemian Switzerland in Czech >> Republic. If you have particular preferences regarding the >> accommodation or leisure-time activities, then the best time to get >> in touch with us is now. Also, if you plan attending, we'd greatly >> appreciate a short notice, which will help us with planning ahead. >> Please write to: >> >> hacknhike@...1... >> >> We at Genode Labs are looking forward to the gathering of the Genode >> community in autumn and would love to welcome you! >> >> ------ >> >> For the full newsletter, please refer to >> >> http://genode-labs.com/news/newsletter/newsletter-2013-05 >> >> Cheers >> Norman >> > > -- Dr.-Ing. Norman Feske 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 ------------------------------------------------------------------------------ Introducing Performance Central, a new site from SourceForge and AppDynamics. Performance Central is your source for news, insights, analysis and resources for efficient Application Performance Management. Visit us today! http://pubads.g.doubleclick.net/gampad/clk?id=48897511&iu=/4140/ostg.clktrk _______________________________________________ Genode-announce mailing list Genode-announce(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-announce

2 1

Malloc / free ansd rump_fs ->Slab-backend exhausted
by unknown＠example.com 05 Sep '14

05 Sep '14

Hi, i try to open a file. I used the following code: //malloc char * buffer = (char*) Genode::env()->heap()->alloc(sizeof(char)*lSize); FILE* pFile = fopen(fileName, "rb"); size_t result = fread (buffer,1,lSize,pFile); fclose (pFile); //free (buffer); env()->heap()->free(buffer, 0); The code seems to work if the file is quite small. I try thre same with a file of size 128 MB. I have given rump_fs a quite large quota of 520M [Quota exceeded! amount=69632, size=8192, consumed=65536[0m [Could not allocate metadata[0m [init -> rump_fs] [upgrading quota donation for Env::RAM (8192 bytes)[0m [Quota exceeded! amount=77824, size=8192, consumed=73728[0m [Could not allocate metadata[0m [init -> rump_fs] [upgrading quota donation for Env::RAM (8192 bytes)[0m [init -> rump_fs] [Slab-backend exhausted! And from this point onwards only Slab-backend exhausted messages are shown. Is there some max size for ram quotas? Best regards, Wolfgang

3 9

fyi - make prepare on 14.08 - hashes
by D X 03 Sep '14

03 Sep '14

Hi, just an fyi - I created a new directory to git 14.08, and I got the following hash errors on prepare: on ports -> virtualbox ----------- test -n " http://download.virtualbox.org/virtualbox/4.2.24/VirtualBox-4.2.24.tar.bz2" ||\ (echo -e "Error: Undefined URL for VirtualBox-4.2.24.tar.bz2"; false); name=VirtualBox-4.2.24.tar.bz2;\ (test -f $name || echo -e "\033[00;33mvirtualbox \033[0m""download " http://download.virtualbox.org/virtualbox/4.2.24/VirtualBox-4.2.24.tar.bz2); \ (test -f $name || wget --quiet http://download.virtualbox.org/virtualbox/4.2.24/VirtualBox-4.2.24.tar.bz2 -O $name); \ (echo -e "4685a898fb426ae59081a3b3adf3f5b8c5cfd34e VirtualBox-4.2.24.tar.bz2" |\ sha1sum -c > /dev/null 2> /dev/null) || \ (echo -e Error: Hash sum check for virtualbox failed; false) Error: Hash sum check for virtualbox failed make[2]: *** [virtualbox.file] Error 1 on libports -> libdrm, mesa ---------------- test -n "http://dri.freedesktop.org/libdrm/libdrm-2.4.21.tar.bz2" ||\ (echo -e "Error: Undefined URL for libdrm-2.4.21.tar.bz2"; false); name=libdrm-2.4.21.tar.bz2;\ (test -f $name || echo -e "\033[00;33mlibdrm \033[0m""download " http://dri.freedesktop.org/libdrm/libdrm-2.4.21.tar.bz2); \ (test -f $name || wget --quiet http://dri.freedesktop.org/libdrm/libdrm-2.4.21.tar.bz2 -O $name); \ (echo -e "be7754008424a12e01ab0f0da3deb8de13ad2f0c libdrm-2.4.21.tar.bz2" |\ sha1sum -c > /dev/null 2> /dev/null) || \ (echo -e Error: Hash sum check for libdrm failed; false) Error: Hash sum check for libdrm failed make[2]: *** [libdrm.file] Error 1 test -n " ftp://ftp.freedesktop.org/pub/mesa/older-versions/7.x/7.8.1/MesaLib-7.8.1.t…" ||\ (echo -e "Error: Undefined URL for MesaLib-7.8.1.tar.gz"; false); name=MesaLib-7.8.1.tar.gz;\ (test -f $name || echo -e "\033[00;33mmesa \033[0m""download " ftp://ftp.freedesktop.org/pub/mesa/older-versions/7.x/7.8.1/MesaLib-7.8.1.t…); \ (test -f $name || wget --quiet ftp://ftp.freedesktop.org/pub/mesa/older-versions/7.x/7.8.1/MesaLib-7.8.1.t… -O $name); \ (echo -e "74e72b56c7ae779649c18867fe9e0865f3bfc057 MesaLib-7.8.1.tar.gz" |\ sha1sum -c > /dev/null 2> /dev/null) || \ (echo -e Error: Hash sum check for mesa failed; false) Error: Hash sum check for mesa failed make[2]: *** [mesa.file] Error 1 and also, I'm not using base-pistachio so I'm not sure if the following error is on my linux mint box or not: -------------------------- Cloning into 'src/kernel/pistachio'... pistachio update src/kernel/pistachio sed -i "/LD=/s/^.*$/LD=\$(CC)/" src/kernel/pistachio/user/config.mk.in sed -i "s/-melf_/-Wl,-melf_/" `grep -rl melf_ src/kernel/pistachio/user` for i in cmlcompile.py cmlconfigure.py configtrans.py; do \ sed -i "s/env python/env python2.7/" src/kernel/pistachio/contrib/cml2/$i; done cd src/kernel/pistachio/user; autoheader; autoconf; autoconf: Undefined macros: configure.in:117:AC_CONFIG_HEADERS([config.h]) configure.in:129: [AC_HELP_STRING([--with-comport=PORT], configure.in:138: [AC_HELP_STRING([--with-comspeed=SPEED], configure.in:147: [AC_HELP_STRING([--with-kickstart-linkbase=BASE], configure.in:152: [AC_HELP_STRING([--with-s0-linkbase=BASE], configure.in:157: [AC_HELP_STRING([--with-roottask-linkbase=BASE], configure.in:162: [AC_HELP_STRING([--with-kerneldir=DIR], configure.in:341:AC_CONFIG_FILES([ configure.in:36:AC_CONFIG_SRCDIR([serv/sigma0/sigma0.cc]) make[2]: *** [additional_steps] Error 1 Regards, dex

3 6

Planning for Genode on Risc-V ?
by Peter Lindener 03 Sep '14

03 Sep '14

Dear Norman and fellow Genodians.. Taking note of Johanne's efforts to bring up the Genode OS to run on the LEON_3 CPU <http://www.gaisler.com/index.php/products/processors/leon3>... prompted me to do a little catching up. Risc-V <http://riscv.org/> the current very promising state of Open source CPU core design.... here is the current state of Risc_V's software tool chain <http://riscv.org/download.html#tab_tools>... ..it seems we might want to think about how Genode's tool chain support could evolve to handle this fairly promising open Risc platform.... such that as lowRISC <http://www.lowrisc.org/> come's into it's existence, running Genode on it might be just the ticket. all the best -Peter

2 2

Re: Re: Re: Some questions about performance optimization related to GUI framework on Genode
by 王硕 02 Sep '14

02 Sep '14

Hello Norman, The Git branch of our genode is listed below: https://github.com/kloisiie/vsos Sorry for my disturbance, and the answer of questions which you asked me before are listed below: * Which version of Genode are you using? 13.02. Now I'm trying to transplant apps on genode 14.05 and base-foc. * Are you using Qt4 or Qt5? (If you are still using Qt4, I would recommend you to switch to Qt5) Qt4. * Which Genode base platform are you using? Fiasco.OC. (base-foc) * Have you tried to run your GUI application on base-linux? If yes, have you compared its performance to the same application compiled for native Linux w/o Genode? Our apps is Fiasco.OC-specific, so I don't know how to run these apps on base-linux. * On base-linux, you could use normal Linux profiling tools such as oprofile to find out where the CPU time goes. Please recommend some similar tools on base-foc. * Can you make a Git branch with your application publicly available‍ https://github.com/kloisiie/vsos‍ To run the vsos, use $ ./create_builddir fox_x86_32 build_dir=~/<build-directory> to create a build directory, and then execute $ make run/verify in build directory. Thank you for all your assistance.‍ Shuo Wang, University of Chinese Academy of Sciences. Re: Some questions about performance optimization related to GUI framework on Genode From: Norman Feske <norman.feske@...265...> - 2014-03-27 13:45:31 Hello Shuo Wang, thank you for your interest in Genode! Please excuse the delayed response. I was offline for a few days. > The most serious problem I meet now is that system is very slow when > running applications we made before, so I doubt whether this is related > to GUI framework. I plan to transplant DoPE to Genode, in order to make > a comparation between DoPE and Qt. But I am worried about reasonability > about my design of experiments, so I need help from the developers. DOpE is definitely faster than Qt as it is even usable on low-performance devices such as FPGA softcores, e.g., the Milkymist SoC [1]. So for those kind of special-purpose appliances, DOpE still seems to be attractive. However, in the context of the Genode OS framework, I would advise against using DOpE. I would rather spend the energy on investigating the performance problems you observe with Qt. [1] http://m-labs.hk/m1.html The reason for my stance is that DOpE lacks a lot of features that are universally expected from modern GUI toolkits (e.g., support for theming, international characters, common widget types like menus). Furthermore, it has been practically unmaintained for several years now. If you still like to go forward with experimenting with DOpE on Genode, I can possibly assist you. I already ported DOpE to an early version of Genode in 2008 and could possibly revive the port. However, I am not committed to actively maintain or even improve it. As I said above, I would rather try to find out why Qt performs so badly for you. This raises the following questions: * Which version of Genode are you using? * Are you using Qt4 or Qt5? (If you are still using Qt4, I would recommend you to switch to Qt5) * Which Genode base platform are you using? * Have you tried to run your GUI application on base-linux? If yes, have you compared its performance to the same application compiled for native Linux w/o Genode? * On base-linux, you could use normal Linux profiling tools such as oprofile to find out where the CPU time goes. * Can you make a Git branch with your application publicly available (e.g., on Github) so that I could give it a try? By being able to reproduce the problem, I could help you much better with investigating the issue. Best regards Norman -- Dr.-Ing. Norman Feske 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 4

Some problems in doing "make prepare" on Genode 14.05.
by 王硕 01 Sep '14

01 Sep '14

Dear Norman and fellow‍s, I'm doing a research on performance optimization of our team's verified security operating system project. Our prototype is based on Genode, and we add some security modules to implement a secure operating system. We did our modification on Genode 13.02, which I would compare with Genode 14.05 on performance. I faild in doing "make prepare" in 3 folders, which are: >\libports and \qt4: --2014-08-25 23:44:04-- http://ftp.heanet.ie/mirrors/ftp.trolltech.com/pub/qt/solutions/lgpl/qtscri… resoluting ftp.heanet.ie (ftp.heanet.ie)... 193.1.193.64, 2001:770:18:aa40::c101:c140 connecting ftp.heanet.ie (ftp.heanet.ie)|193.1.193.64|:80... connected。 ... 404 Not Found 2014-08-25 23:44:05 error 404：Not Found。 make: *** [download/qtscriptclassic-1.0_1-opensource.tar.gz] error 8 ‍ >\ports: 2014-08-26 23:28:11 (340 B/s) - “download/gdb-7.3.1.tar.bz2.sig” saved [65] gpg: on 2011-09-05 Monday 02 h 28 m 51 s signature created by CST, using DSA，key No. FF325CF3 gpg: good signature, from“Joel Brobecker <brobecker@...264...>” gpg: warning: ！ gpg: . main key fingerprint: F40A DB90 2B24 264A A42E 50BF 92ED B04B FF32 5CF3 Signature check of file download/gdb-7.3.1.tar.bz2 passed patching gdb... patching file gdb/amd64-tdep.c >(...some files...) patching file gdb/configure patching file missing reg-arm.c updated. i386.c updated. i386-avx.c updated. Error: Hash sum check for arora failed make[2]: *** [arora.file] error 1 make[1]: *** [_install_in_port_dir] error 2 make: *** [prepare-arora] error 2‍ I'm not able to solve the problems, so I could not continue on my work. Thank you for all your assistance. Yours Sincerely, Shuo Wang University of Chinese Academy of Sciences.

2 2

Help compiling Genode on hw_rpi
by Reinier Millo Sánchez 30 Aug '14

30 Aug '14

Hi I'm using Genode 14.05 on commit (f442e64eafb5c607adb24c6358adbef1173568fe) I'm trying to compile Genode Demo on RaspberryPI. I have prepared the build directory using the default platform hw_rpi. When try to compile: using run script /home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/repos/base-hw/run/env using run script /home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/repos/os/run/demo.run spawn make core init drivers/timer server/nitpicker app/pointer app/status_bar server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input server/report_rom drivers/usb drivers/platform make[1]: Entering directory `/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/build/hw_rpi' Error: target 'drivers/usb' does not exist make[1]: *** [error_missing_targets] Error 1 make[1]: Leaving directory `/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/build/hw_rpi' Error: Genode build failed make: *** [run/demo] Error 255 After that i have added the dde_linux port to use the USB drivers, but when clean and compile it again, there is another error: Program app/launchpad/launchpad COMPILE launcher.o COMPILE launchpad_window.o COMPILE main.o LINK launchpad make[1]: Leaving directory `/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/build/hw_rpi' cp: cannot stat `bin/usb_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 "build_boot_image" line 5) invoked from within "build_boot_image $boot_modules" (file "/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/repos/os/run/demo.run" line 210) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/millo/Working/SistemaOperativo/Building/RaspberryPi/Genode/tool/run" line 905) make: *** [run/demo] Error 1 I need to include another repository or do another configuration? Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

3 6

Announcement: Genode OS Framework version 14.08 released
by Christian Helmuth 28 Aug '14

28 Aug '14

The main theme of Genode 14.08 is the new GUI architecture that scales to modern flexible and dynamic GUIs but also maintains the strong security of the nitpicker approach. Also, the release further improves virtualization on the NOVA microhypervisor with SMP support in Seoul and networking in VirtualBox. Highlight features and improvements are - New GUI architecture - Vastly improved nitpicker GUI server - New window manager and accompanied components - C runtime - Pluggable VFS file systems - Real-time-clock support - Jitter-based random-number generator - OpenVPN - Improved integration of Qt5 - DDE Linux updated to version 3.14.5 - NOVA microhypervisor - Kernel updated, improved timer handling - Seoul VMM: Multi-processor support - VirtualBox: Networking support - Execution on bare hardware (base-hw) - Branch prediction - New source-tree structure More detailed information is available in the release documentation http://genode.org/documentation/release-notes/14.08 Best 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

Re: Re: Some questions about performance optimization related to GUI framework on Genode
by 王硕 28 Aug '14

28 Aug '14

Hello Norman, The Git branch of our genode is listed below: https://github.com/kloisiie/vsos Shuo Wang, University of Chinese Academy of Sciences. Re: Some questions about performance optimization related to GUI framework on Genode From: Norman Feske <norman.feske@...265...> - 2014-03-27 13:45:31 Hello Shuo Wang, thank you for your interest in Genode! Please excuse the delayed response. I was offline for a few days. > The most serious problem I meet now is that system is very slow when > running applications we made before, so I doubt whether this is related > to GUI framework. I plan to transplant DoPE to Genode, in order to make > a comparation between DoPE and Qt. But I am worried about reasonability > about my design of experiments, so I need help from the developers. DOpE is definitely faster than Qt as it is even usable on low-performance devices such as FPGA softcores, e.g., the Milkymist SoC [1]. So for those kind of special-purpose appliances, DOpE still seems to be attractive. However, in the context of the Genode OS framework, I would advise against using DOpE. I would rather spend the energy on investigating the performance problems you observe with Qt. [1] http://m-labs.hk/m1.html The reason for my stance is that DOpE lacks a lot of features that are universally expected from modern GUI toolkits (e.g., support for theming, international characters, common widget types like menus). Furthermore, it has been practically unmaintained for several years now. If you still like to go forward with experimenting with DOpE on Genode, I can possibly assist you. I already ported DOpE to an early version of Genode in 2008 and could possibly revive the port. However, I am not committed to actively maintain or even improve it. As I said above, I would rather try to find out why Qt performs so badly for you. This raises the following questions: * Which version of Genode are you using? * Are you using Qt4 or Qt5? (If you are still using Qt4, I would recommend you to switch to Qt5) * Which Genode base platform are you using? * Have you tried to run your GUI application on base-linux? If yes, have you compared its performance to the same application compiled for native Linux w/o Genode? * On base-linux, you could use normal Linux profiling tools such as oprofile to find out where the CPU time goes. * Can you make a Git branch with your application publicly available (e.g., on Github) so that I could give it a try? By being able to reproduce the problem, I could help you much better with investigating the issue. Best regards Norman -- Dr.-Ing. Norman Feske 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

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users August 2014