questions about installation of genode

vishal linux vishal258120 at ...9...
Thu Mar 29 13:04:48 CEST 2012

Norman Feske <norman.feske at ...52...> writes:

> Hi Peter,
> > I have question about Genode. 
> ------------------------------------------------------------------------------
I downloaded the source code of Genode-12.02 and also toolchain kit
genodetoolchain-11.11. and we installed it on my Ubantu-11.10. when i was
installing it the error came like this......

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 ""
[init] unsupported program segment type 0x7
[init -> launchpad] Could not open file ""
[init -> launchpad] Could not open file "config"
[init -> launchpad] Could not obtain config file
No protocol specified
No protocol specified
init kbd.
[init -> fb_sdl] creating virtual framebuffer for mode 1024x768 at ...64...
[init -> nitpicker] framebuffer is 1024x768 at ...23...
[init -> nitpicker] create session with args: fb_format=1, label="launchpad",
[init -> nitpicker] Could not open file "config"
[init -> nitpicker] Could not obtain config file
[init -> nitpicker] create session with args: fb_width=400, fb_height=1504,
fb_format=1, label="launchpad", ram_quota=1211392
[init -> launchpad] --- entering main loop ---

And after this we are not getting touchpad screen. what should we do for this
error. Can you please help me....

thanks to you in Advance
vishal linux

More information about the users mailing list