users November 2013

users@lists.genode.org

15 participants
15 discussions

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

Virtualization with trustzone into mx53
by panton 23 Jan '14

23 Jan '14

Hello, I want to create a virtualized system with Genode in my imx53 board. At the moment, I am able to run Genode on the board with base-foc and also directly on hardware (base-hw). Thus, my plan was to run a linux kernel as a child node and hopefully run it into trustzone NS. Looking into Genode code I found base-hw/include/vm_session that seems to deal with virtualization. Furthermore there is a trustzone.cc into base-hw/src/core.., but without real useful code. I was wondering if there are implemented virtualization capabilities using trustzone or even without trustzone? If so, it would be great to have an example of how to use it. Thanks in advance for answers! Best regards, Pablo Anton

2 19

Re: Porting on i.MX6
by Aditya Kousik 23 Dec '13

23 Dec '13

Hello Firstly, thank you for patiently replying to our queries and debugging issues so far. We're trying to port Genode onto an i.MX6, which we've realised is no easy task. Our initial approach to this was to tweak existing i.Mx53 files and make corresponding changes (arm cortex a9, created imx6 related folders in include). As pointed out to us by Stefan, this was completely off track as the memory layout may be mixed up (or many more issues). Here's a brief reboot of our attempt: 1. edit create_builddir to add a rule for imx6 board and added build.conf.hw_imx6 in builddir folder. 2. modify board_base.h in base/include/platform/imx6/drivers and fill with addresses by referring to the imx6 reference manual. (We also added CORTEX_A9_CLOCK and private memory base) 3. read through the Makefile and added spec-hw_imx6 and spec-platform_imx6 respectively. 4. created imx6 folder with files in os/include/platform/imx6 as well. (All with imx53 as reference) Make: Since the drivers for imx6 would take a long time to code, we are NOT running demo.run. We tried to build hello.run (without building drivers/timer) according the instructions given in your site. We're getting the following error: Program core/imx6/core COMPILE _main.o ASSEMBLE boot_modules.o COMPILE console.o COMPILE context_area.o COMPILE cpu_session_component.o COMPILE cpu_session_support.o ASSEMBLE crt0.o COMPILE dataspace_component.o COMPILE dump_alloc.o COMPILE io_mem_session_component.o COMPILE io_mem_session_support.o COMPILE irq_session_component.o COMPILE kernel.o COMPILE kernel_support.o COMPILE main.o make[3]: *** No rule to make target `mode_transition.o', needed by `core'. Stop. make[2]: *** [core.prg] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/media/work/assorted/genode/imx' Error: Genode build failed make: *** [run/hello] Error 255 Thanks and regards Aditya

4 3

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

Announcement: Genode OS Framework version 13.11 released
by Christian Helmuth 28 Nov '13

28 Nov '13

Today we are happy to announce a fresh release of Genode, which is the 22nd release of the framework since the first version in August 2008. In the box this time is a good deal of new features and changes ranging from the base framework over platform support to applications and libraries: - Base framework - Dynamic resource balancing - C++11 enabled by default - Improved event tracing - Low-level OS infrastructure - Gigabit networking using the Linux TCP/IP stack - Improved nitpicker GUI server - New terminal services - New file-system server for hybrid Genode/Linux systems - New C-runtime plugin for accessing block devices - Device drivers - Graphics and USB HID for Raspberry Pi - HDMI for Samsung Exynos 5 - Applications and libraries - Qt5 with support for OpenGL and QML - New file systems based on FUSE - Port of DosBox - Runtime environments - Advanced GNU debugger features - ARM TrustZone support on Freescale i.MX53 - Platforms - Base-HW enabled for dynamic workloads - Lifetime management for kernel object on NOVA - Ballooning support for L4Linux running on Fiasco.OC Extensive information is available in the release documentation: http://genode.org/documentation/release-notes/13.11 Best regards and have fun with Genode -- 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

FOSDEM microkernel devroom submission deadline nears (Dec 1st)
by Julian Stecklina 27 Nov '13

27 Nov '13

Hello fellow microkernel hackers, the deadline for submitting talks to our devroom in Brussels is December 1st. If you haven't already, consider submitting a talk. Details are in the original CfP mail: https://os.inf.tu-dresden.de/pipermail/l4-hackers/2013/006068.html Submissions are done via FOSDEM's Pentabarf: https://penta.fosdem.org/submission/ If Pentabarf doesn't work for you, please send your proposal or any other questions regarding the devroom to: microkernel-devroom@...86... See you in Brussels, Julian

1 0

thread cpu utilization
by Jilong Kuang - SISA 26 Nov '13

26 Nov '13

Hello, I'm wondering if there is a way to get thread CPU utilization info for Fiasco.OC kernel in Genode. Best regards, Jilong -- Jilong Kuang Ph.D. | Samsung Research America - Silicon Valley (SRA-SV) Senior Research Engineer, Computer Science Lab t: 408-544-2705 c: 951-318-2995 jilong.kuang@...60...<mailto:jilong.kuang@...60...> Please consider the environment before printing this email. This message is intended only for the named recipient(s) above and may contain confidential or privileged information or protected attorney work product. If you are not the intended recipient, any review, dissemination, distribution or copying is strictly prohibited. If you have received this message in error, please immediately notify the sender and delete this message and its attachments from your computer and dispose of all other copies or printouts. Thank you.

3 2

base-hw ,,, What is CACHE_LINE_SIZE_LOG2?
by bob 19 Nov '13

19 Nov '13

Hi, Is CACHE_LINE_SIZE_LOG2 the line length in 32 bit words of the L2 Instruction or Data caches? That's the only cache line length I see in the board spec of the am335x in its TRM. I'm having a problem the initial start of the kernel, which appear to hang when the MMU is switched on in init_virt_kernel function. The tlb should set up correctly as I've defined the boards physical ram and MMIO regions in the Core_tbl class. The CACHE_LINE_SIZE_LOG2 parameter appears to be used as the stride length for walking the tlb. It is currently set at 2 only because that's the value used in the Panda and imx53 boards board_base.h. If that's not the problem, I'm at a loss as to what the issue could be since the CPU object is straight cortex-a8 from the arm_v7 architecture. Any pointers to how to diagnose the issue would be a great help. Thanks, Bob Stewart

6 14

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users November 2013