hello Sir/Madem, 
          We were doing installation of "Genode-12.0" the build part is over but further we are getting error like this .
> .
> .
> 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
> No protocol specified
> No protocol specified
> init kbd. [init -> launchpad] Could not open file "ld.lib.so"
> [init -> launchpad] Could not open file "config"
> [init -> launchpad] Could not obtain config file
> [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64...
> [init -> nitpicker] framebuffer is 1024x768@...23...
> [init -> nitpicker] create session with args: fb_format=1,
> label="launchpad", ram_quota=1646592 [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 ---



for this we searched but did not find any clue. can you please help us on this issue.


Thanks and Regards
RajaSekharreddy.B.R