users August 2008

users@lists.genode.org

6 participants
4 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users August 2008