users

users@lists.genode.org

3 participants
2349 discussions

Building Genode with Nix
by Emery Hemingway 18 Aug '14

18 Aug '14

In what started as an effort to fix some simple problems when building Genode on NixOS, I have gone ahead and attempted to replace the Make build system with one implemented in Nix. For those not familiar with Nix there is a brief overview here, but what I have done falls outside the scope of package management. http://nixos.org/nix/about.html The theory behind Nix is explained in detail here. http://dspace.library.uu.nl/handle/1874/7540 To start out with, here are some problems with a Nix build system: * Nix must be ported to Genode if Genode shall be self hosting. * Each Make target will probably have to be re-expressed in Nix. * Nix produces more arcane output than Make. Some benefits as I see it: * Nix is the only build system dependency. * More build parallelism. * Lazy dependency evaluation means faster rebuilding. * Binary component packages. * NixOS can be nested in the Genode build system. * Genode can be nested in the NixOS build system. * Less boilerplate. * Less user interaction. That said, my conversion is far from complete, my focus has been on getting the Linux and Nova implemenations working. I have core and init building for Linux and Nova as well as a number of tests. The Expect framework for executing Genode has been wrapped and works for Linux, but I will have to express the Nova kernel before moving on to Qemu support. I've been bypassing ARM to avoid getting into the details of the spec managment for now. If anyone would like to try it out I'm working on the 'nix' branch at https://github.com/ehmry/genode.git The only depency is Nix which you can get here: http://nixos.org/nix/ There is a script named 'try_me.sh' that will run the tests that have been defined. If you wish to explore further the command that you will need to get aquainted with is 'nix-build'. For example, to build some components: nix-build ~/genode/specs/x86_64-nova.nix -A base.core nix-build ~/genode/specs/x86_64-nova.nix -A os.tests nix-build ~/genode/specs/x86_64-linux.nix -A run.thread Nix-build will leave a symlink named 'result' in your current directory that contains the output of the Nix expression you call. To remove the outputs that Nix has built, delete the result symlink and run 'nix-store -gc' to invoke the garbarge collector. If you first want to know what Nix will do when building a run from scratch, here is a summary: Install dependencies for the Nix build environment, Nix will likely not use anything in your current PATH. Download and patch the Genode toolchain for the Genode build environment. Compile the sources of each dependency into object files. Merge objects into libraries. Link libraries into applications. Execute Genode and leave the build output and a log of the run in a directory in the Nix store. If there are any questions I will be lurking as 'emery' in the IRC channel on Freenode. As some of us like to say over here, "If it ain't broke, you're not trying." Emery Hemingway

2 2

Platform Initialization Problem
by chirag garg 18 Aug '14

18 Aug '14

Hi stefan, Thanks a lot in Advance, We are trying to debug the " Failed to communicate Thread Event ". And we found that Platform is not getting Initialized, we are facing Problem in the Platform constructor located in file : base-hw/src/coe/platform.cc In the Platform () constructor Rom_module * rom_module = new (core_mem_alloc()) Rom_module(header->base, header->size, (const char*)header->name); is not getting executed(giving page fault) . Do you know what could be the problem ? Regards Chirag Garg IIT Madras , Rise Lab

7 10

GUI API changes just merged in the master branch
by Norman Feske 15 Aug '14

15 Aug '14

Hello, I'd like to give you a heads-up information about several API changes that entered the master branch today. When updating to the new version, please pay attention to the commit log. The most significant changes are: ROM: The ROM session interface has been enhanced by a new 'update' function that allows a light-weight update of ROM module content without the need for unmapping the ROM dataspace. (see the documentation in rom_session.h) Framebuffer: The session interface gained a new facility for synchronizing the client with a periodically working server by the means of receiving sync signals. Currently, nitpicker is the on server that supports this feature. Nitpicker: The session interface has been completely revised to support the atomic processing of nitpicker operations. View operations are no longer performed on view capabilities but by invoking the session interface using session-local handles. The mouse pointer and status bar are no longer parts of nitpicker but realized as separate programs located at os/src/app/pointer and os/src/app/status_bar. Please refer to the README at os/src/server/nitpicker to learn about nitpicker's new configuration parameters. I also recommend to have a look at the os/run/demo.run script to see a working example of how those components can be tied together. Loader: The loader session has been updated to use the new nitpicker interface. Window manager: New components for window management have landed in the gems repository. The components are server/wm, app/decorator, and app/floating_window_layouter. Combined, they supplement Genode's existing GUI infrastructure with window management. All Qt5 run scripts have been updated to use the new window manager. More details about the enhanced GUI stack will be presented in the release notes of version 14.08. All programs included in the Genode mainline repository have been updated to use the new interfaces. So you can find plenty of examples of how to use nitpicker's new API (e.g., have a look at testnit). If you run into any problems with updating to the new version, please report. So we can assist. 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

1 0

seL4 now open source
by Ernst Rohlicek jun. 12 Aug '14

12 Aug '14

Greetings, The seL4 microkernel has recently been open-sourced and is now hosted on GitHub. It features high performance and includes proof of formal correctness, ie. freedom of bugs. Maybe this has relevance for your Genode OS framework regarding expanding the choice of base platforms.

3 2

Celebrating Genode's 6th Anniversary
by Norman Feske 11 Aug '14

11 Aug '14

Hello everyone, the 6th anniversary of the Genode OS Framework is approaching, which gives us many reasons to celebrate. To just name a few, in the past year, we have conquered VirtualBox to run on Genode, embraced NetBSD Rump kernels, and went full steam ahead with the development of our custom base-hw kernel. Business-wise, we are happy to be recognised as a trusted partner by our existing longtime customers. At the same time, we are excited that our company has gained much visibility outside of Europe. For example, the wide anticipation of our work on ARM TrustZone has taken us by surprise. Let us celebrate the 6th anniversary of Genode together! To follow up with the tradition of the past years, we invite you to join our barbecue and campfire at the river Elbe: Google Maps: http://goo.gl/maps/C0luj 28th of August, 6 pm near Moritzburger Str. 1 in Dresden Whether you like to enjoy grilled vegetarian or non-vegetarian food, clink glasses with the Genode team, or catch up with local microkernel enthusiasts, you are welcome! If you are going to attend, we would greatly appreciate a short note from you to ease our preparations: info@...1... 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

1 0

connect to existing RPC server
by Mhamad Hmad 11 Aug '14

11 Aug '14

Hi , In the Genode RPC we start the client and the server in the same time as in Hello world tutorial. in my case i want the server to serve many clients in the same time .if i create run file for each client each time a new server instance (process) will be created . are there any ways to make the second client use the same running server . i tried to run the both client in same run file but it did not work.I am sure that there are some way to get capability from the existing server . thank you in advance . -- *Mohammad *

8 14

Problems with virtualbox after commit cdb7904
by Christian Menard 05 Aug '14

05 Aug '14

Hi, I'm trying to tun NOVA(64)+Genode+VMBox+Android on a System with Intel Core i5-4302Y CPU. So far it worked fine, but I got trouble since commit cdb7904 "timer: nova specific version of the service". With this patch applied, Android on VMBox is not booting up anymore. Instead I get messages like this: [ 19.900000] INFO: rcu_preempt self-detected stall on CPU I tried to reproduce the issue in QEMU, but there everything works fine. So the issue seems to be related to my Hardware. In the logs everything looks fine, I couldn't find any abnormalities. Do you have any ideas on what might go wrong or where I should start investigating? Unfortunately my debugging possibilities are limited, as I have no serial connection. Thanks Christian

2 3

PicoTCP
by Daniele Lacamera 02 Aug '14

02 Aug '14

Hello, I've stomped onto an old post on this list, considering a port for picoTCP. https://www.mail-archive.com/genode-main%40lists.sourceforge.net/msg01976.h… If I understood correctly, the major concern was around the threading model. We now have a library that provides blocking socket operations in a OS-agnostic way: https://github.com/tass-belgium/picotcp-bsd All you would need to provide is a couple of synchronization mechanisms (- a mutex and a msgqueue/semaphore) in your own -osal module, besides the clock source and the allocator as for any ports in the stack. Feel free to ask for any information, but please keep us in cc since we are not subscribed to the mailing list. Regards, Daniele Lacamera

2 1

Configuring Virtualbox
by Christian Menard 31 Jul '14

31 Jul '14

Hi all, is there any way to change the settings of the virtual machine started on Genode? For instance by providing a *.vbox config file? In my special case I would like to activate the usage of absolute mouse events in VMBox so that the usage of a touchscreen becomes more convenient. Greetings Christian

3 2

Raspberry Pi not booting kernelimage
by Marcus Nolte 31 Jul '14

31 Jul '14

Hello everyone, I am currently trying to get Genode 14.05 running on the Raspberry Pi. As a first shot, I followed the instructions in the 13.11 releasenotes for compiling the genode-demo for the RPi. However, when trying to boot the genode image, I'm stuck with the colored rainbow splash screen. I simply added the image to an existing (and running) raspian image and modified config.txt. The same happens when I try to run the printf test. - I'm not getting any output over the UART. Am I missing something here? Best regards Marcus -- Marcus Nolte, M. Sc. Technische Universität Braunschweig Institut für Regelungstechnik (IfR) Hans-Sommer-Straße 66 38106 Braunschweig Tel.: +49 531 391 3827 Fax: +49 531 391 7878 Email: nolte@...254... Internet: http://www.ifr.ing.tu-bs.de

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users