users December 2013

users@lists.genode.org

19 participants
17 discussions

Re: Fwd: Ask for help: The new Valgrind ported to the Fiasco.OC and L4Re
by Björn Döbel 18 Dec '13

18 Dec '13

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Jian, (cc'ing genode-main as they might be interested in this discussion). as pointed out in the email you forwarded, Valgrind is part of the public L4Re release, which can be found at https://os.inf.tu-dresden.de/L4Re/ The website also includes build instructions. The porting effort mentioned in our paper is mainly because Valgrind intercepts system calls and performs its own resource management. This is implemented for Linux and we had to adapt this to run Valgrind on L4Re. If you wanted to do the same thing for Genode, you'd probably have to make the same adjustments fot that system. As Genode runs on many different microkernels, I am afraid that your port would not be Genode-specific, but specific for a certain (Genode+microkernel) combination. But I'd like to hear the oppinion of Genode people with respect to that. Further, note that the L4Re Valgrind port has last been updated around 2 years ago. If you start your own project, I would strongly recommend to start with a recent Valgrind version (from http://valgrind.org). You could probably still use the L4Re port to figure out which parts of Valgrind you need to touch (it's mainly coregrind). Bjoern On 18.12.2013 04:54, Jian LIU/Gmail wrote: > Hi, Bjorn, > > I wanna to port your Valgrind debugging tool on L4Re to Genode. > So, firstly, I want to know where to download the tool and how to > build on L4Re release. After that, could you give me some advise or > tips on which module codes should be modified when porting to > Genode? I learned the you had 2,274 loc on native valgrind > modification for L4Re (which mentioned in your paper "Capability > wrangling made easy ..."). Thanks. > > Best, > > Jian > > ---------- Forwarded message ---------- From: lele-nfs > <lele@...189...> Date: 2013/12/18 Subject: Fwd: Ask for help: > The new Valgrind ported to the Fiasco.OC and L4Re To: Jian Liu > <liujian@...221...> > > > > > ---------- Forwarded message ---------- From: BjÃ¶rn DÃ¶bel > <doebel@...28...> Date: Fri, Aug 16, 2013 at 3:20 AM > Subject: Re: Ask for help: The new Valgrind ported to the Fiasco.OC > and L4Re To: lele@...189... Cc: mroi > <mroi@...28...>, haertig > <haertig@...28...> > > > Hi MA Lele, > > you can download the last version of our Valgrind port from the > L4Re public subversion repository. Please check > https://os.inf.tu-dresden.de/L4Re/ for details. > > Kind regards, Bjoern Doebel > > On 14.08.2013 06:15, lele wrote: > > > > > > > > - -- Dipl.-Inf. Bjoern Doebel Mail: doebel@...222... TU Dresden, OS Chair Phone: +49 351 463 38 799 Noethnitzer Str. 46 Fax: +49 351 463 38 284 01187 Dresden, Germany WWW: http://www.tudos.org/~doebel - -- "When the seagulls follow the trawler, it's because they think sardines will be thrown into the sea." (Eric Cantona) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) Comment: Using GnuPG with Icedove - http://www.enigmail.net/ iEYEARECAAYFAlKxkKoACgkQP5ijxgQLUNkQQACgnz7n3i5HEAWUadxVEyn7fdA8 X5wAoJd1cBc0WGn6tGJpOwgdxt7xpB8r =ftkm -----END PGP SIGNATURE-----

1 0

Re: Genode Clarification Please
by Markus Partheymueller 14 Dec '13

14 Dec '13

Hi, my take on it: Genode is an operating system _based_ on microkernels. Just as Linux is not the operating system, but rather the kernel which then gets supplemented by user-level applications to form an operating system. Genode provides those services, but does not only support one API, but several ones. In addition to the platforms you mentioned (NOVA, Fiasco, Linux, ...) they developed a small internal kernel to support several ARM systems without the need for an external kernel. I'm sure the maintainers can give you a deeper insight into why this was done. Don't confuse virtualization with the use of an underlying kernel, though. With Genode/NOVA, the microhypervisor actually acts as a microkernel with additional support for running virtual machines with hardware support _within_ Genode. Hope that helps, Cheers Markus On 13 December 2013 14:22, Lonnie Cumberland < lonnie@...218...> wrote: > Greetings All, > > I am new to Genode and think that it is very nice solution for a > microkernel OS for which I am trying to learn more about as it evolves into > a fully fledged general operating system as I think that it has the > potential to be much better than the majority that are currently available > although it still seem to be a long ways from production quality at the > moment. > > One thing that I am not clear about, and please forgive this question if > it is a bit elementary as to something simple that I should have been able > to ascertain, but I am confused on exactly where the Genode OS framework > fall into place as an independent OS. > > The basis of my question is from the reading that I have been doing on the > Genode website in which I can see that it can be compiled to run on > baremetal as you would expect an OS to do, but why is it als able to be > compiled to be used with other base platforms? > > I can understand why it might be used with NOVA, which is a > microhypervisor and thus Genode could run as a user-land OS in a VM, but I > do not see why Genode would need to be compiled against the other > base-platforms like Linux, Fiasco, .... > > Can someone please clarify this for me? > > Kind Regards and have a great day my friends, > Lonnie > > < CONFIDENTIALITY NOTICE > The information contained in this communication > is confidential and is intended only for the use of the recipient named > above, and may be legally privileged and exempt from disclosure under > applicable law. If the reader of this message is not the intended > recipient, please resend to sender and delete the original from your > computer system. You are hereby notified that any dissemination, > distribution or copying of this communication is strictly prohibited. > Opinions, conclusions and other information in this message that do not > relate to our official business should be understood as neither given nor > endorsed. > > > ------------------------------------------------------------------------------ > Rapidly troubleshoot problems before they affect your business. Most IT > organizations don't have a clear picture of how application performance > affects their revenue. With AppDynamics, you get 100% visibility into your > Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics > Pro! > http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > >

1 0

Cannot find dynamic linker binary.
by Edgar Klerks 10 Dec '13

10 Dec '13

Hi List, I am trying to add some libraries in my build.conf: LIBS = base libm But it doesn't seem to load. The error message I get is: [init] Could not open file "ld.lib.so" [init] Dynamically linked file found, but no dynamic linker binary present [init] unknown exception? [init] Dynamically linked file found, but no dynamic linker binary present [init] unknown exception? I am using the nova_x86_32 kernel, but on other kernels this also happens. If I remove libm my image works again. I haven't found anything to build a dynamic linker in the source. Steps I did: create build dir. add libports to etc/build.conf add my source repository to the build dir make prepare PKG=libc && make prepare PKG=stdcxx make run/something The run script starts up qemu. The kernel boots. And then in qemu it cannot find a linker binary. How should I add libraries to my project? I am probably missing some stupid step. Greets, Edgar Klerks

2 2

13.11 LiveCD?
by Lonnie Cumberland 09 Dec '13

09 Dec '13

Greetings All, I am new to the GENODE mailing list and am very excited about what I have seen thus far in the project. I am wondering if there is a LiveCD for the latest 13.11 version as the older 2010 version did not work well on my hardware as it would boot up and then after I made a selection it would freeze. I have a HP-Pavilion P7-1451PC 64-bit machine. Kind Regards and have a great day my friend, Lonnie T. Cumberland, Ph.D. < CONFIDENTIALITY NOTICE > The information contained in this communication is confidential and is intended only for the use of the recipient named above, and may be legally privileged and exempt from disclosure under applicable law. If the reader of this message is not the intended recipient, please resend to sender and delete the original from your computer system. You are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. Opinions, conclusions and other information in this message that do not relate to our official business should be understood as neither given nor endorsed.

2 1

Build system wipes include directory
by Edgar Klerks 08 Dec '13

08 Dec '13

Dear List, I am experimenting with genode and till now it went pretty good. I was building my project and had to rebuilt it a couple of times and suddenly the built broke. I thought no problem, thus I did a make clean. This wasn't helpful. Then I did a make cleanall, but now it wiped out the whole build/include directory. Is this intended behaviour or should I not put things there? At this stage it is just annoying, but I think this is a bug, because the tutorial puts the headers, which define the RPC interfaces. Can I prevent this behaviour? And I want to use c++ features like Strings instead of char *. How can I enable this? I recognize I need a library for this, but I can't find it in base. Thanks for your help! Greets, Edgar Klerks

2 2

noux - linux
by buzz heavyyear 03 Dec '13

03 Dec '13

Hi Just trying out Noux and unable to build. Followed the 11.02 release notes: Pulled a virgin genode from github.make prepare PKG=coreutilstool/create_builddir linux_x86 BUILD_DIR=build.linux_x86make run/noux Could anyone possibly give me a hint? Thanks in advanceNick make run/nouxusing run script /home/nick/genode_linux/genode/base-linux/run/envusing run script /home/nick/genode_linux/genode/ports/run/noux.runbuilding targets: core init drivers/timer noux/minimal server/log_terminal lib/libc_noux noux-pkg/coreutils spawn make core init drivers/timer noux/minimal server/log_terminal lib/libc_noux noux-pkg/coreutilsmake[1]: Entering directory `/home/nick/genode_linux/genode/build.linux_x86'checking library dependencies...Library-description file libc.mk is missingLibrary-description file libm.mk is missing Library platform MERGE platform.lib.a Library syscall COMPILE lx_clone.o COMPILE lx_syscall.o MERGE syscall.lib.a Library base-common COMPILE allocator/allocator_avl.o COMPILE allocator/slab.o COMPILE avl_tree/avl_tree.o COMPILE child/child.o COMPILE console/console.o COMPILE elf/elf_binary.o COMPILE env/debug.o COMPILE env/rm_session_mmap.o COMPILE heap/heap.o COMPILE heap/sliced_heap.o COMPILE ipc/ipc.o COMPILE lock/lock.o COMPILE main_bootstrap.o COMPILE process/process.o COMPILE server/common.o COMPILE server/server.o COMPILE signal/common.o COMPILE signal/signal.o COMPILE thread/trace.o MERGE base-common.lib.a Library startup COMPILE _main.o ASSEMBLE crt0.o MERGE startup.lib.a Library cxx COMPILE exception.o COMPILE guard.o COMPILE malloc_free.o COMPILE misc.o COMPILE new_delete.o COMPILE unwind.o MERGE supc++.o CONVERT supc++.o MERGE cxx.lib.a Library base COMPILE console/log_console.o COMPILE env/context_area.o COMPILE env/env.o COMPILE env/platform_env.o COMPILE thread.o COMPILE thread_linux.o MERGE base.lib.a Library alarm COMPILE alarm.o MERGE alarm.lib.a Library timer COMPILE main.o COMPILE platform_timer.o MERGE timer.lib.a Program drivers/timer/timer COMPILE empty.o LINK timer Library init_pd_args COMPILE pd_args.o MERGE init_pd_args.lib.a Library config COMPILE config.o MERGE config.lib.a Program init/init COMPILE main.o LINK init Program noux/minimal/noux COMPILE dummy_net.o COMPILE main.o LINK noux Library server COMPILE server.o MERGE server.lib.a Program server/log_terminal/log_terminal COMPILE main.o LINK log_terminal Program core/core COMPILE context_area.o COMPILE core_printf.o COMPILE cpu_session_component.o COMPILE cpu_session_extension.o COMPILE cpu_session_support.o COMPILE io_mem_session_component.o COMPILE main.o COMPILE pd_session_component.o COMPILE platform.o COMPILE platform_services.o COMPILE platform_thread.o COMPILE ram_session_component.o COMPILE ram_session_support.o COMPILE rom_session_component.o COMPILE signal_session_component.o COMPILE signal_source_component.o COMPILE thread.o COMPILE thread_linux.o COMPILE trace_session_component.o LINK coremake[1]: Leaving directory `/home/nick/genode_linux/genode/build.linux_x86'genode build completed/usr/local/genode-gcc/bin/genode-x86-strip: 'bin/coreutils/bin/*': No such file while executing"exec sh -c "[cross_dev_prefix]strip bin/coreutils/bin/*"" (file "/home/nick/genode_linux/genode/ports/run/noux.run" line 5) 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/nick/genode_linux/genode/tool/run" line 803)make: *** [run/noux] Error 1

2 2

RE: Building for Raspberry Pi Ubuntu
by buzz heavyyear 02 Dec '13

02 Dec '13

Actually, just one question ... Am I right in thinking that there are no Ethernet/nic drivers for RPI in Genode? Cheers Nick --- Original Message --- From: "buzz heavyyear" <buzzheavyyear@...16...> Sent: 30 November 2013 11:59 To: "genode-main-lists" <genode-main(a)lists.sourceforge.net> Subject: RE: Building for Raspberry Pi Ubuntu Thanks Christian, looks like I'm going to have to start digging into RPi's drivers. Should be able to avoid dde_ipxe in that case. Thanks again CheersNick > Subject: RE: Building for Raspberry Pi Ubuntu > From: christian.helmuth@...1... > Date: Sat, 30 Nov 2013 12:50:49 +0100 > To: genode-main(a)lists.sourceforge.net > > Hi, > > Seems you're missing the driver for RPi's NIC since such a driver is AFAIK not part of our repos. BTW dde_ipxe is only enabled for x86 platforms with PCI networking hardware. > > Greets > -- > Christian Helmuth > Genode Labs > > http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/ > > Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden > Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth > > ------------------------------------------------------------------------------ > Rapidly troubleshoot problems before they affect your business. Most IT > organizations don't have a clear picture of how application performance > affects their revenue. With AppDynamics, you get 100% visibility into your > Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! > http://pubads.g.doubleclick.net/gampad/clk?id=84349351&iu=/4140/ostg.clktrk > _______________________________________________ > Genode-main mailing list > Genode-main(a)lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main ------------------------------------------------------------------------------ Rapidly troubleshoot problems before they affect your business. Most IT organizations don't have a clear picture of how application performance affects their revenue. With AppDynamics, you get 100% visibility into your Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! http://pubads.g.doubleclick.net/gampad/clk?id=84349351&iu=/4140/ostg.clktrk _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users December 2013