users

users@lists.genode.org

1 participants
2310 discussions

Troubles. X86: can't boot bare-metal. ARM: can't compile
by Thomas DuBuisson 04 May '10

04 May '10

Hello all, Below are two separate issues carelessly smashed into one e-mail - if you have any comments on either one then I'm all ears. -------- x86 --------- After building Genode+Fiasco [1] I can run the hello demo and scout demo (from "build/bin/*") on top of Linux, but I can't seem to boot bare metal. I'm copying the binaries from "<compound-build>/genode.fiasco_x86/bin", getting bootstrap and sigma0 from "<compound-build>/l4env/bin/...", and L4 kernel from "<compound-build>/fisco_x86/main". When I boot, the kernel starts up, prints a pc and sp (I notice "Roottask" has a stack address of all zeros). And quickly restarts. I'd paste output but it auto restarts and I don't have a serial port to over which I could collect output. The config (this is one, I've tried lots of alterations): ############## <config> <start> <filename>vesa_drv</filename> <ram_quota>2M</ram_quota> </start> <start> <filename>timer</filename> <ram_quota>0x20000</ram_quota> </start> <start> <filename>nitpicker</filename> <ram_quota>1M</ram_quota> </start> <start> <filename>hello_server</filename> <ram_quota>1M</ram_quota> </start> <start> <filename>hello_client</filename> <ram_quota>1M</ram_quota> </start> </config> ################# And the grub entry: ############# title L4 Fiasco + Genode (10.02) kernel /bootstrap -modaddr=0x03000000 module /fiasco nowait -nokdb -tbuf_entries=16384 -serial_esc module /sigma0 module /core module /init module /config module /vesa_drv module /nitpicker module /timer module /launchpad module /testnit module /scout module /nitlog module /liquid_fb module /hello_server module /hello_client ############### Any help? Let me know if you want more info. [1] http://genode.org/community/wiki/GenodeOnL4Fiasco -------- ARM -------- Separately, I'm having trouble building Fiasco on ARM - basically its missing types.h. Am I missing a step? After altering specs.conf "SPECS = genode fiasco_arm" And after setting tools.conf to point at my cross compiler: [tommd@...36... genode-arm]$ cp tool/builddir/etc/build.conf.fiasco_x86 tool/builddir/etc/build.conf.fiasco_arm [tommd@...36... genode-arm]$ ./tool/builddir/create_builddir fiasco_arm GENODE_DIR=. BUILD_DIR=~/dev/genode-arm/3rd-build/genode-fiasco_arm L4_DIR=~/dev/genode-arm/3rd-build/3rd/l4env successfully created build directory at /home/tommd/dev/genode-arm/3rd-build/genode-fiasco_arm [tommd@...36... genode-arm]$ make -C ~/dev/genode-arm/3rd-build/genode-fiasco_arm/ make: Entering directory `/home/tommd/dev/genode-arm/3rd-build/genode-fiasco_arm' Processing /home/tommd/dev/genode-arm/base-fiasco/src/core/arm/target.mk ------------------------------------------------------------------------ Library avl_tree COMPILE avl_tree_avl_tree.o MERGE avl_tree.lib.a Library slab COMPILE slab_slab.o MERGE slab.lib.a Library allocator_avl COMPILE allocator_avl_allocator_avl.o MERGE allocator_avl.lib.a Library cxx COMPILE cxx_exception.o COMPILE cxx_guard.o COMPILE cxx_malloc_free.o In file included from /home/tommd/dev/genode-arm/base/include/base/typed_capability.h:17, from /home/tommd/dev/genode-arm/base/include/parent/capability.h:17, from /home/tommd/dev/genode-arm/base/include/base/env.h:20, from /home/tommd/dev/genode-arm/base/src/base/cxx/malloc_free.cc:17: /home/tommd/dev/genode-arm/base-fiasco/include/base/capability.h:18: fatal error: l4/sys/types.h: No such file or directory compilation terminated. make[4]: *** [cxx_malloc_free.o] Error 1 make[3]: *** [cxx.tag] Error 2 make[2]: *** [all_sequence] Error 2 make[1]: *** [single_target] Error 2 make: *** [.] Error 2 make: Leaving directory `/home/tommd/dev/genode-arm/3rd-build/genode-fiasco_arm' Any help on either of these would be much appreciated. I'd love to use/contribute to Genode but if I can't build it myself / be self sufficient (perhaps I should be embarrassed) then I'm far from helpful! Cheers, Thomas

2 1

Genode-on-OKL4: Code section properties
by Frank Kaiser 03 May '10

03 May '10

Hello Recently we made an attempt to get Genode-on-OKL4 (v2.1.1.patch9) running on ARM11 (core ARM1136jf-s). The outcome was that the system stalled during initialization, because core waited endlessly for init getting started. OKL4's KDB showed that init's code section was set to read-only but not read-execute with the outrcome that the OKL4 scheduler refused to pass control to init. Interestingly this was not observed on an ARM9 platform, and we think that this just happened by chance, because the main reason of the problem seems to be how the class Dataspace_component maintains properties. In the OKL4 environment the protection domains are packed into the ELF file as modules, being itself ELF objects which are unpacked by function _setup_elf() of file base/src/base/process/process.cc. The function receives from core the capability of the ELF object (init is the first one) and parses the included segments to setup the pager. It checks whether any segment has the writable flag set. For such segments RAM is allocated and initialized, and the associated Dataspace_component gets the boolean attribute _writable set. For all other segments a Dataspace_component with the boolean attribute _writable unset is created, making no distinction between read-only and read-execute segments. The first attempt to start init leads to a page fault, and the methode Rm_client::pager() in file base/src/core/rm_session_component.cc is invoked. The method retrieves the Dataspace_component from the page fault parameters. With that a Mapping object is created to setup the response for the Ipc_pager. The constructor Mapping::Mapping() in file base-okl4/src/base/ipc/pager.cc receives the attribute _writable from the Dataspace_component. If it is set, the page attribute is set to L4_FullyAccessible, otherwise to L4_Readable. The outcome is that the code section is mapped with the X flag unset, and it is not executed while the DATA and BSS sections get the X flag set although this makes little sense. We could solve the problem by setting the page attribute to L4_Readable | L4_eXexcutable, but we still keep wondering why the problem only appears on ARM11 but neither on ARM9 or IA32, although the constructor code is always the same. Finally we think that the implementation of Dataspace_component is a bit short-handed regarding the handling of page attributes: there should be a distinction between read-only and read-execute (and DATA/BSS sections should not have the execute attribute set). At least both the ELF format and OKL4's MapControl interface maintain the full set of RWX flags. Regards Frank Kaiser OpenSynergy GmbH Rotherstr. 9 10245 Berlin Tel.: +49 (30) 20 18 18 35 28 Fax: +49 (30) 20 18 18 35 02 Email: Frank.Kaiser@...24... <mailto:andre.hergenhan@...24...> www.opensynergy.com <http://www.open-synergy.com> Handelsregister: Amtsgericht Charlottenburg, HRB 108616B Geschäftsführer: Frank-Peter Böhm, Dr. Stefaan Sonck Thiebaut, Rolf Morich

2 1

Thread blocking
by Peter Nguyen 28 Apr '10

28 Apr '10

Hi, In messing around a bit further with the http server code, I decided to have a go at making the HTTP server multithreaded. In this case, I wanted the web server to function such that when a HTTP request is received, a new thread is created whose purpose is to handle the HTTP request. In other words, the http_server_serve() function is made a thread, as opposed it being just a function. However, in making the changes, the execution seems to result in the web server hanging, with the HTTP handler thread not executing at all. This seem to be the case because inserting a call to sleep (via the timer connection) in main() resulted in the HTTP handler function executing. I would have thought that as soon as a HTTP request is received, the main thread would block, and from there schedule the HTTP handler thread (I have invoked start() on this thread, by the way). At the moment, it seems that the main thread blocking seems to result in the entire web server hanging. Any ideas as to what's going on? Peter

3 7

message buffer is too small
by Peter Nguyen 28 Apr '10

28 Apr '10

Hi, In moving my sampling code to version 10.02 of genode, and running the sampling functionality, I keep getting the following message during runtime: void copy_utcb_to_msgbuf(Okl4::L4_MsgTag_t, Genode::Msgbuf_base*): receive message buffer too small msg size=2c, buf size=16 Is there a way for me to change the size? Another point I should mention is that this output appears as a result of using L4 IPC. Peter

3 3

Website down
by Peter Nguyen 20 Apr '10

20 Apr '10

Hi, Is it just me, or is the genode website down at the moment? ----------------------------------------------------- Peter Nguyen Jacaranda Research Group

2 1

Weird build error
by Peter Nguyen 19 Apr '10

19 Apr '10

Hi, In using the latest genode version via OKL4 (an unmodified build), and trying to include nic_drv and the http server as part of config, I keep getting the the "no RM attachment" error. This is the output i get when i only include "nic_drv" in the config. int main(): --- create local services --- int main(): --- start init --- int main(): Ok we have 39 MB transfered to init int main(): --- init created, waiting for exit condition --- [init] our quota limit is 41009152 [init] our used quota is 135168 [init] starting timer with quota=524288 [init] using unique child name "timer" [init] starting pci_drv with quota=524288 [init] using unique child name "pci_drv" [init] starting nic_drv with quota=2097152 [init] using unique child name "nic_drv" no RM attachment (READ pf_addr=0 pf_ip=203891c from 04) virtual void Genode::Signal_session_component::submit(Genode::Signal_context_capability, unsigned int): invalid signal-context capability [init -> pci_drv] PCI driver started [init] pci_drv registered service PCI [init] timer registered service Timer I have no idea as to what's going on. The contents of the config file is the following: <config> <start> <filename>timer</filename> <ram_quota>512K</ram_quota> </start> <start> <filename>pci_drv</filename> <ram_quota>512K</ram_quota> </start> <start> <filename>nic_drv</filename> <ram_quota>2M</ram_quota> </start> </config> The quota for nic_drv was originally 512K. Changing it to 2M hasn't helped at all. Attached is the weaver file I am using as well. Can anyone tell me what i've done wrong? Peter

2 3

Rom FS
by Peter Nguyen 14 Apr '10

14 Apr '10

Hi, I noticed that as part of booting up Genode that the contents of the rom FS is printed (provided the variable is set for enabling verbose printing of boot information). Is there a way of having access to this data in my profiling environment? Having access to this information would greatly help with my system profiling. Peter

3 3

Experiences
by Peter Nguyen 14 Apr '10

14 Apr '10

Hi, I was asked to summarize my experiences with using shared memory in Genode. Apologies for the extremely late reply. My project involves implementing a profiling infrastructure, whereby i have a profiling server that coordinates the execution of profiling ie. the collection and processing of samples. Samples are to be collected from a range of sources, where the samples generated are analysed by the profiling server. The issue I was having was the sharing of memory between the profiling server and the component where the samples were being generated. Via regular communication with the Genode developers, I got to reading up on the use of Dataspaces as the mechanism for sharing data between two components. Essentially, memory sharing between components is achieved by creating a dataspace, where a memory region is defined such that data written to this memory is shared. The actual sharing occurs by having a component (in this case a client) establish a connection to the server, which allocates the dataspaces. In my profiling design, a sampling buffer that is shared between a client and a server is only relevant to that connection only ie. other components do not really need to know about this data. To illustrate this, i will use a diagram that Christian used in helping me with establishing data sharing between components: Address | Dataspaces and Sharing spaces | ---------------------------------------------- ---------------------------------------------- Sampling | Sample Sample Server | buffer A buffer B ---------------------------------------------- Sampled | Sample - client A | buffer A - ---------------------------------------------- Sampled | - Sample client B | - buffer B In the above diagram, the data generated in "Sampled client A" has no relevance whatsoever to "Sampled client B". Hence, I don't need to worry about Sampled client A and Sampled client B having to share its profiling data with each other (i'm sure there might be cases where such sharing is to occur, for instance, if the intention is to write sampling data to the same buffer). The motivation for this design is that each sampling buffer represents a particular part of the system being profiled. For example, Sampled client A could represent a HTTP server for profiling network activity, and Sampled client B could represent a kernel buffer to obtain CPU samples. I could then have another sampled client that measures the rate at which Genode threads are being created (there obviously might be better examples of another client). Sample processing is then performed by the server, via a language I have implemented (the code gets converted to C++ code). The client-server approach that Genode motivates makes the profiling environment easily extensible because the creation of a sampling buffer simply involves having the client to be sampled establish a connection to the profiling server (I have a connection.h file as part of the sampling_session interface, which I learned about from the hello world tutorial). After declaring the connection to the profiling server, a dataspace capability is obtained from this connection and from there, the dataspace is attached to the client's local address space, which results in data sharing now working. The code snippet below should illustrate what I just explained. Sampling::Connection samp; Dataspace_capability ds = samp.get_cap(); void *ptr = Genode::env()->rm_session()->attach(ds); I can then write data via *ptr, knowing that the data is shared with the profiling server. So i've probably gone all over the place with this email, but hopefully someone might get something out of this. Peter

2 2

Shared library
by Peter Nguyen 11 Mar '10

11 Mar '10

Hi, I've tried to create a shared library for use by multiple components in Genode, where in the mk file for the library, i have specified SHARED_LIB=yes. When i try to execute Genode, I keep getting the following message at runtime: "Dynamically linked file found, but no dynamic linker binary present" What steps do i need to take so as to ensure that the binary is present? Peter

4 16

OKL4 build errors
by Peter Nguyen 02 Mar '10

02 Mar '10

Hi, In upgrading to Genode 10.02, i'm encountering build errors when i specifically include one of three L4 header files, namely thread.h, ipc.h, and arch/thread.h. I do the #include statements within a namespace declaration like so: namespace Okl4 { extern "C" { //includes }} Every time i try to build OKL4, i keeping getting the following error which is related to utcb.h: error: expected unqualified-id before ‘[’ token Does anyone have any idea as to why this is happening? If i don't include any of those files, my code builds fine. Peter

3 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users