users August 2010

users@lists.genode.org

6 participants
6 discussions

Further questions
by Peter Nguyen 30 Mar '12

30 Mar '12

Hi, Thanks you very much for that. I now have it running. I have another question about Genode. More specifically, I was wondering whether any of the Iguana services at all. I ask this given that the weaver.xml file refers to memsections and pds (i'm assuming that means protection domains). Peter ----- Forwarded message from Norman Feske <norman.feske@...1...> ----- Date: Tue, 05 Jan 2010 08:43:36 +0100 From: Norman Feske <norman.feske@...1...> Reply-To: Genode OS Framework Mailing List <genode-main(a)lists.sourceforge.net> Subject: Re: Broken assertion To: Genode OS Framework Mailing List <genode-main(a)lists.sourceforge.net> Hi Peter, this is a different error as the one mentioned in the Wiki. It actually tells you what's wrong. ;-) In the 'weaver.xml' file, there is a memsection referring to a file called 'config'. This is the configuration file of Genode's init process. You can use a copy of the template provided at 'os/config/demo'. You can either specify this file as filename for the 'config' module entry in 'weaver.xml' or copy it to your '<builddir>/bin/' directory (and of course rename it to 'config'). This bit was missing in the Wiki. So I added it to the Wiki page. Thank you for pointing it out. Norman Peter Nguyen wrote: > Hi, > > In the wiki describing how to build Genode on OKL4, does the bug alert refer to > following message: An error occurred: [Errno 2] No such file or directory: > 'config'? > > I've followed the build instructions, and i've changed the value as suggested as > the quick fix, but I still get this error. > > As usual, any help would be greatly appreciated. > > Peter ------------------------------------------------------------------------------ This SF.Net email is sponsored by the Verizon Developer Community Take advantage of Verizon's best-in-class app development support A streamlined, 14 day to market process makes app distribution fast and easy Join now and get one step closer to millions of Verizon customers http://p.sf.net/sfu/verizon-dev2dev _______________________________________________ Genode-main mailing list Genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main ----- End forwarded message -----

3 4

Cluttered trace messages on Genode/OKL4v2
by Frank Kaiser 31 Aug '10

31 Aug '10

Hello In my environment running Genode on top of OKL4 V2.1 I occasionally observed cluttered debug output on the serial console, sometimes accompanied by a roottask page fault. A close inspection of the system showed that this happens when core writes debug output messages on its own while in parallel debug messages are sent by other protection domains. In core debug messages processed by Genode::printf() and Genode::vprintf() are processed by Okl4_console::vprintf() which infact is the call of the base class methode Console::vprintf(). The implementation in the files okl4_console.cc and console.cc shows that there is no lock to serialize trace output from different sources. The outcome is that core's trace server and any other core thread can concurrently write to OKL4's character-oriented debug interface leading to the mix-up of two debug messages. I could solve the problem by simply copying the solution from the class Log_console used by the other protection domains: * Adding a Lock object to the class Okl4_console private: Lock _lock; * Substituting the call of the base class method Console::vprintf() by providing a dedicated method Okl4_console::vprintf() public: inline void vprintf(const char *format, va_list list) { Lock::Guard lock_guard(_lock); Console::vprintf(format, list); } These two changes fix the problem w/o affecting any caller code using Okl4_console::vprintf(). It leaves the base class methode Console::vprintf() unmodified so that its usage in different derived classes is not compromised. I'd appreciate if this or an equivalent fix could find its way into one of the next Genode baselines on Sourceforge. Regards Frank

2 1

Fiasco.OC + Genode
by Pablo Montesinos 30 Aug '10

30 Aug '10

Hi, I've been using Fiasco.OC released on June. I've noticed that the 3rd_fiasco.tar.bz package is from february. I was wondering if you knew whether anyone had tried using the Fiasco.OC with the current Genode distribution. Thanks, Pablo

2 4

Handling division-by-zero
by mx＠...19... 27 Aug '10

27 Aug '10

Hi all, I'm working with Genode 10.05 on top of the OKL4 Microkernel. Recently, my application raised a division-by-zero. Shame on me - but I was very astonished when I found out that the root task (core) handles this error rather by chance than explicitly, for there's no real handler registered. The error ipc the kernel sends to core, arrives in the sleep_forever function within core's main thread which sleeps in an ipc call expected never to return. On the division-by-zero, this ipc returns indeed, causing the ipc_client to indicate that its receive buffer be too small for the incoming message (containing the kernel-saved thread context). Upon that, core's main thread acknowledges the ipc to the kernel and performs the sleep_forever action again. The offending application thread is aborted by the kernel. One might call that a proper handling, in fact, it's correct, but it would have been very nice to have a real handler inside of core giving a simple hint on the error. The current implementation makes it very hard to debug such errors (In fact, I had to debug into core to see where the 'copy_utcb_to_msgbuf' failed, then into the kernel itself to see what was actually signalled to core and then finally into my application's threads upon the very faint idea what to look for). Furthermore, if the message buffer inside of core would have been big enough to take the kernel's ipc, even the initial 'hint' where to start debugging would have been missing ;) Could you please make core at least a little more verbose at this point? By the way I found out that the handler for an invalid-opcode is missing as well, but I don't know if there's a chance to catch those errors inside the root task, for they cause the kernel itself to enter the kernel debugger and hence halting the system (so rather an OKL4 issue). Regards Sven -- Sven Fülster

2 2

Announcement: Genode OS Framework version 10.08 released
by Stefan Kalkowski 11 Aug '10

11 Aug '10

We are happy to announce release 10.08 of the Genode OS Framework. This new version brings support for hardware accelarated graphics and wireless networking. The release introduces the Gallium3D software stack alongside the Intel graphics execution manager, which can be used by Genode applications to perform hardware-accelerated 3D graphics on Intel GMA platforms. The integration of the MadWifi project into our Linux device-driver environment enables the use of a broad range of wireless network cards. The newly introduced block-session interface is showcased by the new ATAPI driver, a service providing ROM files as loop-device, and by a block-device driver for Genode's paravirtualized OKLinux version. Release-notes summary for version 10.08 --------------------------------------- * Hardware-accelerated 3D graphics via Gallium3D and Intel GEM * Wireless networking using MadWifi * Block device interface, ROM loop service * ATAPI driver, ISO 9660 file system * Update of Qt4 to version 4.6.3 * Dynamic linker for ARM EABI You can find the complete release notes for the version 10.08 here: http://genode.org/documentation/release-notes/10.08/ The new release is available to the project's subversion repository and at the Genode download page: http://genode.org/download/latest-release Regards -- Stefan Kalkowski 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

Second anniversary of the Genode OS Framework
by Norman Feske 10 Aug '10

10 Aug '10

Hi there, the upcoming version 10.08 of the Genode OS Framework will be the 8th release since the initial publication two years ago in August 2008. We invite you to celebrate its second anniversary together with us. As last year, we will gather for a barbecue and a campfire at the river Elbe in Dresden on 12th of August, 6 pm near Moritzburger Str. 1 in Dresden Check out the map for finding the location: http://maps.google.de/maps/ms?ie=UTF8&msa=0&msid=103318122554571178078.0004… We'd be happy about you joining us. We will provide beverages and barbecue both vegetarian and non-vegetarian. If you plan to attend, please send a short note to 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 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users August 2010