users April 2009

users@lists.genode.org

4 participants
3 discussions

Using Genode with Existing L4Ka::Pistachio Components?
by Tyson Key 15 Apr '09

15 Apr '09

Hi, out of interest, is it possible to easily use Genode alongside existing L4 components (e.g. L4Linux, Darbat or custom servers)? Or would I have to rewrite the components to fit into the Genode architecture? Also, I'm trying to figure out what the best way to solve a potential license conflict will be (other than don't use the new code/implement the feature at all, hopefully), given that Genode is released under the GPLv2, and some components I'm planning to keep separate in their own servers/libraries to build an accompanying Personality on top of Genode will be released under the Eclipse Public License by the Symbian Foundation soon. Thanks in advance, Tyson. -- Fight Internet Censorship! http://www.eff.org ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://i9.house404.co.uk/ | Twitter/FriendFeed/Skype: vmlemon | +447549728105

2 1

Cannot Link Genode 9.02 for L4Ka::Pistachio (With minimal customisation for i9)
by Tyson Key 12 Apr '09

12 Apr '09

Hi, I am currently working on a new L4Ka::Pistachio-based operating system project, and am contemplating integrating Genode components. Sadly, in the process of integrating Genode into the build system, I've noticed that the linking stage fails towards the end of building core with the following: /usr/bin/ld: cannot find -ll4 collect2: ld returned 1 exit status make[2]: *** [/home/tyson/i9os/Personalities/GenodeKit/build.pistachio_x86/core/x86/core] Error 1 make[1]: *** [single_target] Error 2 make: *** [.] Error 2 I had to copy the L4 header files into /base-pistachio/include/, despite also having them in a location specified in build.pistachio_x86/etc/pistachio.conf. Even after running "make install" to copy the L4 userland libraries and header files to /usr/local, I'm stumped. Thanks in advance, Tyson. -- Fight Internet Censorship! http://www.eff.org ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ http://i9.house404.co.uk/ | Twitter/FriendFeed/Skype: vmlemon | +447549728105

2 7

File System Support
by Ashish Srivastava 09 Apr '09

09 Apr '09

Hi all, This is my first post to this list. Can some one please tell me whether there is any filesystem support available for Genode. In other words can I write on the hard disk or access it's ext2/ext3 partitions. If yes, then how to get it working. Refer me to some menu.lst file. And, do you use some different grub? Also I need some help on building genode properly to get 'everything' working. By the way is their support for USB Mouse/Keyboard. Regards, Ashish

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users April 2009