Hi Norman,

Thanks for your response. I was asking because for my project, I have implemented a sampling environment that runs at the Iguana level, and given there seems to be considerable work into genode, I was wanting to port it to genode. My sampling infrastructure is based on the iguana trace server. I'm thinking that it shouldn't be too difficult to port given that the amount of my code that uses Iguana is a very small percentage. The remaining code is L4 code.

If you could give me pointers as to things to look out for, or to give me a starting point in terms of porting, that would be great!!

----------------------------------------------------- Peter Nguyen Jacaranda Research Group

On 07/01/2010, at 5:58 AM, Norman Feske wrote:

Hi Peter,

...

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).

Genode is not compatible to Iguana. However, porting software from Iguana seems to be reasonable. We did this for the port of OKLinux to Genode. With the port, we followed the approach to implement a library that emulates the parts of the Iguana API that are relevant for OKLinux. You can find this emulation code at 'oklinux/src/oklinux_support'.

Regarding the use of memsections in the 'weaver.xml' file, this is simply the only way to include plain binary data into the boot image. So we "misuse" elfweaver's memsection mechanism to supply modules to core's ROM service. The PD "modules" is actually not a protection domain but only used as a container for holding memsections with predefined content. For the full story, you might read up my article about porting Genode to OKL4:

http://genode.org/documentation/articles/genode-on-okl4

BTW, do you have Iguana servers in mind that might be useful to run on Genode?

Norman

---

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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

Hello,

make[1]: Leaving directory `/usr/local/genode-12.02/build.lx' genode build completed spawn ./core int main(): --- create local services --- int main(): --- start init --- int main(): transferred 79 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init] unsupported program segment type 0x7 [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file

so far everything looks ok. The messages are not errors but mere information that launchpad falls back to its the built-in configuration. Also the message by init is as expected (the demo setup does not use dynamically-linked executables so we have not included the dynamic linker).

No protocol specified No protocol specified init kbd. [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64...

These lines are suspect. It seems that libSDL is not able to initialize properly. Can you successfully run any normal libSDL-based program on your setup? Are you using X11 or are you trying to start Genode from a framebuffer console?

Cheers Norman