users

users@lists.genode.org

2 participants
2331 discussions

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

Support for other (ARM) machines
by Thomas DuBuisson 02 Mar '10

02 Mar '10

After getting Genode to build for GTA01 I'm now interested in getting a build running on hardware I have available (an OMAP3 / beagleboard based ARM system). Are there notes somewhere on adding machine support to Genode or should I just study anywhere that mentions gumstix or GTA01? Cheers, Thomas

2 1

Further questions about LWIP/HTTP server
by Peter Nguyen 01 Mar '10

01 Mar '10

Hi, In digging to the HTTP server functionality, I noticed that with IP address, data is stored for local and remote IP addresses. I gather remote IPs refer to the machines making the requests. Does the local IP refer to the HTTP server itself?? Peter

3 4

Method Ram_session_component::alloc()
by Frank Kaiser 01 Mar '10

01 Mar '10

Hello There is a small glitch in the given method found in file base/src/core/ram_session_component.cc: 1. In line 141 a new Dataspace_component is generated and assigned to pointer *ds. 2. In line 144 the pointer is used to call method _clear_ds() (defined for instance in file base-okl4/src/core/ram_session_support.cc). There (line 44) pointer *ds is dereferenced w/o any validity check. 3. In line 146 a null pointer check is applied on *ds. If the new operator in line 141 is expected to return NULL in some cases, then the null pointer check in line 146 should precede the usage of the pointer in line 144, otherwise the code of line 146ff would be obsolete. Frank

2 1

Adding a new library
by Peter Nguyen 25 Feb '10

25 Feb '10

Hi, I'm now trying to add my own library, and have tried adding the files as part of 'base'. Every time I try to build Genode, i keep getting messages pertaining to undefined references to functions that i have implemented. How do i go about incorporating the files i've written as part of 'base'? I'm sure i've missed something.... Thanks Peter

2 2

The new release 10.02 of the Genode OS Framework is available
by Norman Feske 24 Feb '10

24 Feb '10

The release 10.02 again broadens the field of applications for Genode by introducing support for two new kernels: the Codezero kernel and the NOVA hypervisor. The former is primarily targeted at ARM platforms, the latter at x86 virtualization. Moreover, we introduced a management concept for real-time priorities within the framework's API, which can be used in conjunction with the real-time schedulers of the L4ka::Pistachio and OKL4 kernels. Beside many improvements and refinements of the existing parts of the framework, we incorporated the initial port of the Python script interpreter into this release. Release-notes summary for version 10.02 --------------------------------------- * Platform support * NOVA hypervisor * Codezero kernel * New thread-context management * Real-time priorities * Python scripting You can find the complete release notes for the version 10.02 here: http://genode.org/documentation/release-notes/10.02/ The new release is available via the project's subversion repository and at the Genode download page: http://genode.org/download/latest-release Regards -- 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

Building lwip
by Peter Nguyen 22 Feb '10

22 Feb '10

Hi, I'm trying to build the lwip test so that I can make a start on experimentation. However, I keep on getting build errors. To build this package, I included the libports package, and also the libc package. However, I keep getting errors about how size_t hasn't been declared in scope. I also tried including my own definition for size_t, but other errors result. What is the correct way of building the lwip package? Peter

5 15

race in oklinux/contrib/arch/l4/kernel/sys_genode.c
by Sven Fülster 17 Feb '10

17 Feb '10

Hi all, you have a race condition in oklinux/contrib/arch/l4/kernel/sys_genode.c resp. oklx_genode.patch lines 1894..1905 #ifdef CONFIG_FB_GENODE + if(genode_input_initialized()) + { + /* Put the input events into our framebuffer driver */ + num = genode_input_flush(); + for(i=0;i<num;i++) { + genode_input_event(i, genode_fb_mouse_event, genode_fb_key_event); + } + } +#endif //CONFIG_FB_GENODE + + genode_lock(timer_main_kernel_lock); which shows up under heavy load (freezing Xfbdev, raising some BUG()s or a pagefault in update_stats_wait_end). Moving the input polling into the critical section solved the problem here: + genode_lock(timer_main_kernel_lock); + #ifdef CONFIG_FB_GENODE + if(genode_input_initialized()) + { + /* Put the input events into our framebuffer driver */ + num = genode_input_flush(); + for(i=0;i<num;i++) { + genode_input_event(i, genode_fb_mouse_event, genode_fb_key_event); + } + } +#endif //CONFIG_FB_GENODE Cheers Sven -- Sven FÃ¼lster

2 1

Interaction with L4
by Peter Nguyen 01 Feb '10

01 Feb '10

Hi, I'm trying to port some code that I originally implemented in Iguana. This functionality pertains to profiling functionality. In my current setup (ie. with Iguana), I added an L4 system call (OKL4) to start and stop profiling. I'm wondering whether it's possible at all to use OKL4 functionality directly in writing genode apps. The profiling code that I have implemented is L4 code, where some of the code uses OKL4 IPC primitives and a small amount of Iguana based code with regards to creating threads. Any help on this would be greatly appreciated. Thanks Peter N

3 21

additional question from "memcpy, strlen etc."
by Peter Nguyen 29 Jan '10

29 Jan '10

As an addition to the previous post by me, I have some pre-existing C code that I want to use in a Genode server I have created, and I don't really want to change this code. Currently, i'm not able to utilize functions like printf, memcpy etc in the C code i've written. What header files can I include to ensure that functions like memcpy and printf work in my code? From what I can see, the build process does not recognize the standard header files at all. Peter

4 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users