users

users@lists.genode.org

3 participants
2323 discussions

A20-OLinuXino-MICRO-4GB
by buzz heavyyear 18 Dec '13

18 Dec '13

Hi I have just received a new board with a dual core cortex a7, the A20-OLinuXino, which I'd like to set up and add to the genode tree - currently more pressing than the RPi! I'm no Arm expert, but I'm assuming that I can take most of the existing arm_v7 and a9 code in base-hw and just use this for setting up an a20olinuxino environment and building an image? https://www.olimex.com/Products/OLinuXino/A20/A20-OLinuXino-MICRO-4GB/open-… CheersNick

3 7

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

Building for Raspberry Pi Ubuntu
by buzz heavyyear 30 Nov '13

30 Nov '13

Greetings, I'm trying to build the Pi platform. Running: gcc-arm-linux-gnueabi --version gives:arm-linux-gnueabi-gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3 I've created the build.rpi directory with platform as hw_rpi. I then do a 'make run/demo' which results in : using run script /home/nick/genode-13.08/base-hw/run/envusing run script /home/nick/genode-13.08/os/run/demo.runspawn make core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/inputmake[1]: Entering directory `/home/nick/genode-13.08/build.rpi'checking library dependencies...Skip target core/arndale because it requires platform_arndaleSkip target core/imx31 because it requires platform_imx31Skip target core/imx53 because it requires platform_imx53Skip target core/panda because it requires platform_pandaSkip target core/pbxa9 because it requires platform_pbxa9Skip target core/vea9x4/no_trustzone because it requires platform_vea9x4Skip target core/vea9x4/trustzone because it requires platform_vea9x4 trustzoneSkip target drivers/framebuffer/imx53 because it requires imx53Skip target drivers/framebuffer/omap4 because it requires omap4Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926Skip target drivers/framebuffer/sdl because it requires linux sdlSkip target drivers/input/fiasco_ux because it requires fiasco x86Skip target drivers/input/imx53 because it requires imx53Skip target drivers/input/ps2/pl050 because it requires pl050Skip target drivers/input/ps2/x86 because it requires x86 ps2Skip target drivers/pci/device_pd because it requires novaSkip target drivers/pci/x86 because it requires x86 Library platform MERGE platform.lib.a Library mini_c COMPILE abort.o COMPILE atol.o COMPILE malloc_free.o COMPILE memcmp.o COMPILE memset.o COMPILE mini_c.o COMPILE printf.o COMPILE snprintf.o COMPILE strlen.o COMPILE strtod.o COMPILE strtol.o COMPILE vsnprintf.o MERGE mini_c.lib.a Library libz_static COMPILE adler32.o COMPILE compress.o COMPILE crc32.o COMPILE deflate.o COMPILE gzio.o COMPILE infback.o COMPILE inffast.o COMPILE inflate.o COMPILE inftrees.o COMPILE trees.o COMPILE uncompr.o COMPILE zutil.o MERGE libz_static.lib.a Library libpng_static COMPILE png.o COMPILE pngerror.o COMPILE pngget.o COMPILE pngmem.o COMPILE pngpread.o COMPILE pngread.o COMPILE pngrio.o COMPILE pngrtran.o COMPILE pngrutil.o COMPILE pngset.o COMPILE pngtrans.o COMPILE pngwio.o COMPILE pngwrite.o COMPILE pngwtran.o COMPILE pngwutil.o MERGE libpng_static.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 syscall COMPILE 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 heap/heap.o COMPILE heap/sliced_heap.o COMPILE ipc.o COMPILE ipc/ipc_marshal_cap.o COMPILE lock/lock.o COMPILE process/process.o COMPILE server/common.o COMPILE server/server.o COMPILE signal/common.o COMPILE signal/signal.o COMPILE thread/thread_bootstrap.o COMPILE thread/trace.o MERGE base-common.lib.a Library startup COMPILE _main.o ASSEMBLE crt0.o MERGE startup.lib.a Library base COMPILE console/log_console.o COMPILE env/context_area.o COMPILE env/env.o COMPILE env/reload_parent_cap.o COMPILE thread/thread.o COMPILE thread_support.o MERGE base.lib.a Library launchpad COMPILE launchpad.o MERGE launchpad.lib.a Library blit COMPILE blit.o MERGE blit.lib.a Library scout_widgets CONVERT binary_closed_icon.rgba.o CONVERT binary_downarrow.rgba.o CONVERT binary_kill_icon.rgba.o CONVERT binary_loadbar.rgba.o CONVERT binary_mono16.tff.o CONVERT binary_opened_icon.rgba.o CONVERT binary_redbar.rgba.o CONVERT binary_sizer.rgba.o CONVERT binary_slider.rgba.o CONVERT binary_titlebar.rgba.o CONVERT binary_uparrow.rgba.o CONVERT binary_vera16.tff.o CONVERT binary_vera18.tff.o CONVERT binary_vera20.tff.o CONVERT binary_vera24.tff.o CONVERT binary_verabi10.tff.o CONVERT binary_verai16.tff.o CONVERT binary_whitebar.rgba.o COMPILE elements.o COMPILE platform_genode.o COMPILE refracted_icon.o COMPILE scrollbar.o COMPILE sky_texture.o COMPILE startup.o COMPILE tick.o COMPILE widgets.o MERGE scout_widgets.lib.a Program app/scout/genode/scout COMPILE about.o CONVERT binary_about.rgba.o CONVERT binary_backward.rgba.o CONVERT binary_cover.rgba.o CONVERT binary_forward.rgba.o CONVERT binary_genode_logo.png.o CONVERT binary_home.rgba.o CONVERT binary_index.rgba.o CONVERT binary_ior.map.o CONVERT binary_launchpad.png.o CONVERT binary_liquid_fb_small.png.o CONVERT binary_nav_next.rgba.o CONVERT binary_nav_prev.rgba.o CONVERT binary_pointer.rgba.o CONVERT binary_setup.png.o CONVERT binary_x-ray_small.png.o COMPILE browser_window.o COMPILE doc.o COMPILE launcher.o COMPILE main.o COMPILE navbar.o COMPILE png_image.o LINK scout Program core/rpi/core COMPILE _main.occ1plus: error: unrecognized command line option ‘-std=gnu++11’make[3]: *** [_main.o] Error 1make[2]: *** [core.prg] Error 2make[1]: *** [gen_deps_and_build_targets] Error 2make[1]: Leaving directory `/home/nick/genode-13.08/build.rpi'Error: Genode build failedmake: *** [run/demo] Error 255 Any ideas on how to proceed? Best regardsNick

4 11

Deploy genode on arndale
by Claudio L. 29 Nov '13

29 Nov '13

Hello, I'm new to genode but not new to develoment. I'd like to port genode to my dev board (Odroid-XU). To begin, I built the foc_arndale target successfully following the instructions. What I couldn't find anywhere is instructions on how to build a boot image for u-boot, which files are needed in the image, entry point, etc. Where can I find that information? An explanation or a link would be helpful. As a constructive critic to the Genode project: Documentation is fantastic, but there's nothing on how to create a partition, put all the files and boot on x86, or for other platforms as well (at least something generic, saying that we need to load the kernel image (where to find it in the path), the 'core' executable, drivers, build an image, etc. The description on the website begins with how to configure the 'init' process, which says it is loaded by 'core', which is the first task started by the kernel. So how do we put it all together in an image? I think we'd need an image with the kernel, core, init, the uart driver, and perhaps an sd/mmc driver, so that init reads the rest of the services from the sd card. I noticed the build directory has a large file, fiasco.image (15 MB?), what does it contain? I have too many questions, please bear with me. Once I learn all this, I can write some tutorials for other people like me. Thanks, Claudio

3 7

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users