users

users@lists.genode.org

2320 discussions

Announcement: Genode OS Framework version 9.02 released
by Christian Helmuth 27 Feb '09

27 Feb '09

We are pleased to announce the release 9.02 of the Genode OS Framework. This release is focused on functional enhancements in two directions. The first direction is broadening the number of possible base platforms for the framework. Genode 9.02 is now available on the L4ka::Pistachio kernel. In the second direction, we are steadily advancing the functionality available on top of Genode. With this release, we introduce a basic networking facility and support for native Qt4 applications as major new features. Thanks to Genode's portability, these features become automatically available on all supported base platforms. We would like to thank Julian Stecklina for his initial port of Genode to L4ka::Pistachio and Christian Prochaska for his Qt4 library porting work. Release notes for version 9.02 ------------------------------ * Applications * Launchpad XML configuration option * Qt4 core and GUI library port * OS services and drivers * PS/2 driver scancode set 1 fixes * Linux 2.6 device driver environment * Networking * Linux-based driver for AMD Pcnet32 * uIP-based example web server * L4ka::Pistachio as new platform * Revised malloc implementation for the C library * Tool for ISO image creation and boot with Qemu Read our comprehensive release notes for the version 9.02 at our website http://genode.org/documentation/release-notes/9.02/ Download the release 9.02 of the Genode OS Framework from http://genode.org/download/latest-release/ Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

Announcement: portation of SDLlib has started
by kalle 23 Jan '09

23 Jan '09

Hi Genode developers and friends, recently I've started to port the SDL library (www.libsdl.org) to Genode. By now, the video subsystem and keyboard and mouse events are working. If you're interested in playing around with it or even want to contribute to it, you can checkout the source code from the following svn repository: svn co http://kalle.griselda-hackbarth.net/svn/genode/sdl with best regards kalle

2 1

Genode on the L4ka::Pistachio kernel
by Norman Feske 18 Dec '08

18 Dec '08

Today, we have made the L4ka::Pistachio version of Genode publicly available via our subversion repository. The L4ka::Pistachio kernel is developed by the L4ka group at the University of Karlsruhe and the DiSy group at the University of New South Wales. It implements the latest official L4 API, which is called x.2 (alse referred to a version 4). The official L4ka::Pistachio website is: http://www.l4ka.org/projects/pistachio/ Although both L4 kernels L4ka::Pistachio and the already supported L4/Fiasco belong to the L4 family, they differ in many ways such as the supported CPU architectures, premptibility, kernel-API features, scheduling, stability, and their respective license. This makes the availability of both kernels as base platforms for Genode very attractive. The port of Genode to L4ka::Pistachio was primarily done by Julian Stecklina as a student research project at the University of Technology Dresden. In cooperation, we integrated his work with the mainline Genode development. The L4ka::Pistachio version will become a regular part of the official Genode distribution with upcoming release scheduled for February. You can find all the needed technical information about building and using Genode with L4ka::Pistachio at our Wiki: http://genode.org/community/wiki/GenodeOnL4kaPistachio Regards -- Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org

1 0

Genode OS Framework version 8.11 released
by Christian Helmuth 21 Nov '08

21 Nov '08

We are pleased to announce the release 8.11 of the Genode OS Framework. Beside many improvements of the base API, we aimed for enabling real-world applications on top of Genode and introduced two major features: C runtime and device-driver API. We regard the presence of device drivers and a way to reuse existing library code as fundamental prerequisites for achieving our goal of a widely applicable OS framework. Furthermore, we extended the base API by a number of exciting feature such as support for asynchronous notifications, capability typification, and managed dataspaces. Release-notes summary for version 8.11 -------------------------------------- * Base API * Introduced typification of capabilities * Improved client-side connection handling * New semaphore * New API for asynchronous notifications * New region-manager fault handling * New managed dataspaces * Refined allocator interfaces * Refined interfaces to consistently use exceptions * OS services and libraries * New framework called DDE kit for device drivers written in C * New alarm API for scheduling timed events * Improved PS/2 driver, supporting scan-code sets 1 and 2 * Optimized output latency of the Nitpicker GUI server * New C runtime ported from FreeBSD * Applications * Double-buffering for scout widgets * New execute links for the scout tutorial browser * Unified handling of child processes among scout and launchpad * New default document "Walking through Genode" for scout * Platform-specific changes * Linux: Dissolved dependency from glibc by introducing custom system-call bindings * L4/Fiasco: Implementation of RM faults, managed dataspaces * L4/Fiasco: Implementation of cancel-blocking mechanism Learn more about all the new features and changes described in our comprehensive release notes at our website http://genode.org/documentation/release-notes/8.11 Download the release 8.11 of the Genode OS Framework from http://genode.org/download/latest-release Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

Live-CD image showing the current state of Genode
by Christian Helmuth 22 Oct '08

22 Oct '08

We're currently working on the upcoming Genode 8.11 release, which will include the device-driver environment and an ANSI C library. The release is scheduled for mid-November. In the meantime, you may have a shot at our compiled Live-CD image showing off the current state of the Genode OS Framework. The Live CD features a fully graphical demonstration that presents the fundamental concepts of the Genode architecture in an interactive fashion. It runs directly on PC hardware and has been tested on Qemu and VirtualBox. Download the Live-CD image here: http://genode.org/download/live-cds/ Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

virtual int Genode, no Rm attachment
by Shakthi Kannan 01 Sep '08

01 Sep '08

Hi, I am trying Genode with L4/Fiasco on a HP Compaq nx7400 laptop running Debian Lenny/sid. The documentation is at: http://genode.org/community/wiki/GenodeOnL4Fiasco I have extracted the toolchain to /usr/local/crosstool, built the preconditions and the Fiasco version for Genode, copied all to /boot. My config is shown below: === config === <config> <start> <filename>ps2_drv</filename> <ram_quota>1M</ram_quota> </start> <start> <filename>timer</filename> <ram_quota>1M</ram_quota> </start> <start> <filename>nitpicker</filename> <ram_quota>1M</ram_quota> </start> <start> <filename>vesa_drv</filename> <ram_quota>1M</ram_quota> </start> <start> <filename>launchpad</filename> <ram_quota>32M</ram_quota> </start> </config> === END === === menu.lst === title Genode Demo kernel /boot/bootstrap -modaddr=0x03000000 module /boot/fiasco nowait -nokdb -tbuf_entries=16384 -serial_esc module /boot/sigma0 module /boot/core module /boot/init module /boot/config module /boot/ps2_drv module /boot/framebuffer_ux_drv module /boot/nitpicker module /boot/timer module /boot/launchpad module /boot/testnit module /boot/scout module /boot/nitlog module /boot/liquid_fb === END === On booting, I get boot messages and it hangs at the following: === OUTPUT === int main(): --- create local services --- int main(): --- start init --- int main(): Ok we have 943 MB transferred to init int main(): --- init created, waiting for exit condition --- [init] our quota limit is 989753328 [init] our used quota is 143360 [init] starting ps2_drv with quota=1048576 [init] using unique child name "ps2_drv" virtual int Genode::Rm_client::pager (Fiasco:Ipc_pager&): no RM attachment (pf=bfeffffc ip=1016034 WRITE from 10.00) === END === Appreciate any inputs, on how I can boot and test L4/Fiasco with Genode. Do you have an IRC channel for discussion? Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com

2 1

Re: First trouble with core
by Norman Feske 20 Aug '08

20 Aug '08

Hi Marc, Marc CHALAND wrote: > 2008/8/13 Norman Feske <norman.feske@...1...>: >> Indeed, the current version of Genode locates stacks in the heap, >> which is generally a bad idea because this makes it really hard >> to detect stack overflows. > > Sure. Better, stack should not be executable. The best would be that > genode provide a way to prevent memory from being both writable and > executable. On TUDOS, we found something : create a DM_Phys task > (nxdm_phys for example) which provides only nx memory. Then only > loader should get memory from normal dm_phys and provide not writable > executable memory to launched processes. But, I know, fiasco doesn't > provide abstraction to nx bit. Supporting the NX bit makes much sense and it would also fit nicely into the Genode interfaces. However, this would not help for the current problem because both the stack and the heap are read/writable. >> For solving your current problem, it would be helpful to be able >> to reproduce it. How do you trigger the bug and how does your >> config file look like? Could you provide us with the backtraces >> of Core's threads? > > This is very easy to produce with svn 9 revision. > My menu.lst is : > set MCGEN="(nd)/tftpboot/l4-test3/marc/genode-build" > > title Genode marc - demo > kernel $(MCGEN)/3rd/l4env/bin/x86_586/bootstrap > modaddr 0x03000000 > module $(MCGEN)/3rd/fiasco_x86/main -serial_esc -comspeed 115200 -comport 1 > module $(MCGEN)/3rd/l4env/bin/x86_586/l4v2/sigma0 > module $(MCGEN)/genode_fiasco/bin/core > module $(MCGEN)/genode_fiasco/bin/init > module $(MCGEN)/genode_fiasco/bin/config > module $(MCGEN)/genode_fiasco/bin/ps2_drv > module $(MCGEN)/genode_fiasco/bin/vesa_drv > module $(MCGEN)/genode_fiasco/bin/nitpicker > module $(MCGEN)/genode_fiasco/bin/timer > module $(MCGEN)/genode_fiasco/bin/launchpad > module $(MCGEN)/genode_fiasco/bin/testnit > module $(MCGEN)/genode_fiasco/bin/scout > module $(MCGEN)/genode_fiasco/bin/nitlog > module $(MCGEN)/genode_fiasco/bin/liquid_fb > > If I remove applications after launchpad, there is no more problem but > I cannot launch anything :/. > Config file is : > <config> > <start> > <filename>timer</filename> > <ram_quota>1M</ram_quota> > </start> > <start> > <filename>ps2_drv</filename> > <ram_quota>1M</ram_quota> > </start> > <start> > <filename>vesa_drv</filename> > <ram_quota>1M</ram_quota> > </start> > <start> > <filename>nitpicker</filename> > <ram_quota>1M</ram_quota> > </start> > <start> > <filename>launchpad</filename> > <ram_quota>32M</ram_quota> > </start> > </config> Thank you for your configuration but unfortunately, I was not able to trigger the bug. Are you using the tool chain from our website? > _curr_obj is at 0x647a4. bt of 4.04 is : > backtrace (thread 4.04, fp=000647a8, pc=010024dc): > #1 000647a8 010024dc > #2 000647f8 01002726 > #3 00064928 0100337b > #4 00064a58 0100285e > #5 00064b88 0100285e > #6 00064cb8 0100285e > #7 00064de8 0100285e > #8 00064f18 0100285e > #9 00065048 0100285e > #10 00065178 0100285e > #11 000652a8 0100285e > #12 000652c8 01000a1c > #13 00065318 0100227e > #14 00065338 01003c13 > #15 00065358 010000e7 > #16 00065378 0100030f > #17 00065398 01000854 > #18 000653c8 010008c6 > #19 00065408 01002215 > #20 00065428 010264f5 > #21 00065458 01031629 > #22 00065498 0100f959 > #23 000654b8 010040d1 > #24 000654d8 01025c00 > #25 00065528 0102c062 > #26 00065658 0102b6ac > #27 000656c8 01026240 > #28 00065748 010181aa > #29 000657a8 01036278 > > --kernel-bt-follows-- > #2 f005f438 f000c216 > #3 f005f4c4 f002a306 > #4 f005f4dc f001b04d > #5 f005f4f4 f001af1f > #6 c0204f2c f0023ac2 > #7 c0204fa4 f0022491 > #8 c0204fac f003aa04 This backtrace explains me where the problem lies as the difference between the first and the last stack frame are exactly 4K, which corresponds the the stack dimensioning of Core's Init-Child thread (4.4). The problem occurs when opening a new RM session, which requires memory allocation for the session object. During this memory allocation, a slab block fills up completely, requiring the allocation of another slab block. This nested allocation eats more than 4K. Could you try setting the stack size of to 8192 instead of 4096? Just modify the template argument for the server activation at base/include/base/child.h:124 Best regards Norman -- Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org

2 8

First trouble with core
by Marc CHALAND 18 Aug '08

18 Aug '08

Hi, I try genode on fiasco and encounter a strange problem in core process. It seems that stack goes over heap. Here is some explanation : After a little while, init child thread from core (4.04) raises an exception into Server_activation_base::entry at _curr_obj->unlock(). After some debugging, I saw that _curr_obj (at 0x647a4) is modified during dispatch at a push assembler instruction. So, I guess, stack goes over the heap, isn't it ? Regards Marc

4 6

Genode OS Framework version 8.08 released
by Christian Helmuth 07 Aug '08

07 Aug '08

The initial version of the Genode OS Framework is available for download. For naming our releases, we use the Ubuntu version-number scheme, which takes the year as the major number and the month as minor number. Hence, the release is called 8.08. This version contains all base components, services, and device drivers to execute a provided interactive demonstration scenario on both Linux via libSDL and bare PC hardware via the L4/Fiasco microkernel and our custom device drivers. Release notes for the version 8.08 ---------------------------------- The release 8.08 is the first official version of the Genode OS Framework. It contains the following components: * The base framework including all libraries and interfaces as described in the Base API documentation * The Linux version of the base framework, which is the recommended platform for testing and developing * The L4/Fiasco version of the base framework * Drivers * Frame buffer driver for VESA and libSDL * PS/2 keyboard and mouse driver * PCI driver * Timer driver * Services and applications * Nitpicker GUI server * Scout tutorial browser * Graphical application launcher * XML-configurable init process * Complete demonstration scenario with graphical test applications such as liquid frame buffer, testnit, and nitlog. * Ported libraries * libz * libpng Download Genode from http://genode.org/download/latest-release Regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

First message
by Christian Helmuth 23 Jul '08

23 Jul '08

Hello, this is just a test message to get the archives working. Thank you -- Christian Helmuth Genode Labs

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users