Hello Chirag Garg,
unfortunately base-hw does not log the discovered boot modules which
are added to the ROM file system. Nevertheless I expect your config
file refers to the ROM binary linux while your ROM file system does
not contain such a file. Please double-check your config file and the
I just discovered that you could add some verbosity to the platform
initialization of base-hw. Just change at
https://github.com/genodelabs/genode/blob/14.08/repos/base-hw/src/core/platform.cc#L131
from
enum { VERBOSE = 0 };
to
enum { VERBOSE = 1 };
Happy hacking
--
Christian Helmuth
Hello,
I'm afraid that we are not really there yet. You are right that a lot of
puzzle pieces are already in place and Genode can certainly be used to
build interesting application scenarios. Within Genode Labs, we are
regularly building quite sophisticated scenarios including VirtualBox,
Arora,
Hello,
let me add that there is a middle ground between using the RTC driver
and the time-stamp counter (TSC), namely the
'Timer::Session::elapsed_ms' function. This function returns the number
of milliseconds since timer session was created. By combining it with
the RTC driver, the expensive
When I try to compile L4Linux on genode, I get the following error:
repos/ports-foc/src/server/balloon/main.cc:1:45: fatal error:
balloon_session/balloon_session.h: No such file or directory
It seems that L4Linux is targetting a file that used to exist but doesn't
anymore. Can somebody who knows
Thanks. The Genode documentation does seem somewhat lacking, so could you
please help me? What apps are already available for launching Genode
programs? I think that finding a good way of launching programs (e.g.
through a terminal emulator) would be the first thing that I would need to
do. Also,
Thanks! This should be great! :)
As for the name, you can call me Ben. Or Nobody III. ;)
On Tue, Oct 28, 2014 at 3:08 PM, Norman Feske norman.fe...@genode-labs.com
wrote:
Hello,
btw, would you be comfortable to tell me your name or at least a nick
name? I feel a little bad about starting an
Hi everyone,
I am Franc, new to Genode,
At the starting stage, I am interested in exploring trustzone demo showed
in the video :
https://www.youtube.com/watch?feature=player_embeddedv=voFV1W4yyY8
So, I have some query related to this,
As we can run two OS in both world, Genode in the secure
What level of file management does Genode have? Is there a graphical file
manager available? Does noux support file management?
Also, since I am considering implementing a file manager if one doesn't
already exist, how would I do it? I'm thinking of porting PCManFM to
Genode, so how does the
It seems that Genode lacks ext4 support. Is there any intention to port an
ext4 driver to Genode? How hard would this task be?
--
___
genode-main mailing list
I created a windowed terminal run script. It uses the cli_monitor server
(used in terminal_mux.run) in a windowed nit_fb, and it works, except I
can't switch between terminals like I can in terminul_mux using Ctrl+X. How
can I add this functionality? I've attached the run script for you to look
11 matches
Mail list logo
