Windowed Terminal

2014-10-28 Thread Nobody III
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
at.


terminal_window.run
Description: Binary data
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Ext4

2014-10-28 Thread Nobody III
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
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


File Manager

2014-10-28 Thread Nobody III
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 filesystem work? (Does it have a single root
directory like Linux, or does it just give you access to each filesystem
like in Windows?)
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Query: Two OS

2014-10-28 Thread Franc sylvester
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_embedded&v=voFV1W4yyY8

So, I have some query related to this,

As we can run two OS in both world, Genode in the secure world and other OS
in the normal world, so OS running in the normal world should have
different configuration from Normal bootable image or not on a particular
Board ?

if we have to modify the OS image to run in the normal world then what all
are the changes we have to do in that ?


cheers !!

 Franc
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Full Genode Install

2014-10-28 Thread Nobody III
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 
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 email with "Hi Nobody". ;-)
>
> > 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.
>
> I think what you are looking for is located at 'os/src/app/cli_monitor',
> which is a command-line-based application for starting and killing
> subsystems. To give it a try, please refer to the run script
> 'gems/run/termina_mux.run', which combines the CLI monitor with a
> terminal multiplexer called 'terminal_mux'. After booting the system,
> press control-x to bring up the terminal-mux menu where you can switch
> between CLI monitor and a log view. In CLI monitor, press tab to see a
> list of commands. When having started a subsystem (e.g., 'start noux' -
> note that you can use tab completion), you can switch to the new session
> by pressing control-x again.
>
> As a nice exercise, you may try to integrate CLI monitor with the window
> manager (see 'gems/run/wm.run') using the graphical terminal
> ('gems/src/server/terminal') and nit_fb ('os/src/server/nit_fb').
>
> > Also, can executables and libraries be loaded from filesystems?
> > That seems like the solution to avoid needing to build new system images.
> > Is there anything else helpful that I should know about Genode to build
> > it as a general-purpose OS?
>
> Normally, parent processes (like init, launchpad, CLI monitor) obtain
> binaries and shared libraries as so-called ROM modules. The component
> fs_rom ('os/src/server/fs_rom') provides a ROM service that hands out
> files from a file system as ROM modules. By combining it with a
> file-system server (such as rump_fs), you can start subsystems from a
> file system.
>
> In general, the best way to go forward is to explore the various run
> scripts and components to get a tangible feel of which components are
> there and how to combine them in useful ways.
>
> Have fun!
> Norman
>
> --
> Dr.-Ing. Norman Feske
> Genode Labs
>
> http://www.genode-labs.com · http://genode.org
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
>
> --
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Full Genode Install

2014-10-28 Thread Norman Feske
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 email with "Hi Nobody". ;-)

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

I think what you are looking for is located at 'os/src/app/cli_monitor',
which is a command-line-based application for starting and killing
subsystems. To give it a try, please refer to the run script
'gems/run/termina_mux.run', which combines the CLI monitor with a
terminal multiplexer called 'terminal_mux'. After booting the system,
press control-x to bring up the terminal-mux menu where you can switch
between CLI monitor and a log view. In CLI monitor, press tab to see a
list of commands. When having started a subsystem (e.g., 'start noux' -
note that you can use tab completion), you can switch to the new session
by pressing control-x again.

As a nice exercise, you may try to integrate CLI monitor with the window
manager (see 'gems/run/wm.run') using the graphical terminal
('gems/src/server/terminal') and nit_fb ('os/src/server/nit_fb').

> Also, can executables and libraries be loaded from filesystems?
> That seems like the solution to avoid needing to build new system images.
> Is there anything else helpful that I should know about Genode to build
> it as a general-purpose OS?

Normally, parent processes (like init, launchpad, CLI monitor) obtain
binaries and shared libraries as so-called ROM modules. The component
fs_rom ('os/src/server/fs_rom') provides a ROM service that hands out
files from a file system as ROM modules. By combining it with a
file-system server (such as rump_fs), you can start subsystems from a
file system.

In general, the best way to go forward is to explore the various run
scripts and components to get a tangible feel of which components are
there and how to combine them in useful ways.

Have fun!
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Full Genode Install

2014-10-28 Thread Nobody III
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, can executables and libraries be loaded from filesystems? That
seems like the solution to avoid needing to build new system images.
Is there anything else helpful that I should know about Genode to build it
as a general-purpose OS?

On Tue, Oct 28, 2014 at 1:56 PM, Norman Feske 
wrote:

> 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, Seoul, Rump-kernel-based file systems, and many more components.
>
> But for being fit as a general-purpose OS, there is still the need to
> address some remaining points, in particular proper packaging. Right
> now, we use run scripts to build whole system scenarios. For
> comprehensive scenarios, the build can take hours. This is acceptable
> for special-purpose systems but it does not scale enough for a
> general-purpose OS. The work flow of building and using the latter
> should be far more interactive. E.g., installing new subsystem on the
> fly without the need to rebuild a system image or even reboot the machine.
>
> That said, we definitely strive for Genode to become a general-purpose
> OS. So we will take on these challenges. This intention is best
> illustrated by our recently added GUI stack (the composition of window
> manager, nitpicker, decorator, window layouter). So stay tuned! ;-)
>
> Of course, you are very welcome to investigate Genode as a
> general-purpose OS on your own. E.g., porting the Debian bootstrapping
> to a Noux instance would certainly be an interesting project. Or another
> (and in my personal opinion more thrilling) idea, port the Nix package
> manager to a Noux environment.
>
> Cheers
> Norman
>
> --
> Dr.-Ing. Norman Feske
> Genode Labs
>
> http://www.genode-labs.com · http://genode.org
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
>
> --
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Error when wompiling L4Linux

2014-10-28 Thread Nobody III
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 enough about genode fix this?
--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: 回复: Is there any method to obtain real-world date and time in Genode?

2014-10-28 Thread Norman Feske
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 call to the RTC driver could be done at
high intervals only. In between, the less expensive 'elapsed_ms'
function could be used to obtain time durations at a finer granularity.
Still, 'elapsed_ms' does not come for free because it involves an RPC to
the timer service.

Ideally, a get-time function would be a mix of the different facilities.
The RTC to obtain the coarse time of the day and date, the TSC for high
accuracy in the order of microseconds and the 'elapsed_ms' function for
accuracy in the order of milliseconds.

It is true that the TSC frequency may depend on the clock speed, speed
stepping, power savings etc. For this reason, the TSC values cannot be
used as is but they must be calibrated. E.g., the timer service can be
used to determine the ratio of TSC values per second. To account for TSC
frequency changes during runtime, the ratio could be updated at certain
intervals.

As of now, the libc does not provide a convenient function that combines
the different facilities for you. But the instruments outlined above
should principally enable you to construct a highly accurate get-time
function with very little overhead in the TSC-based common case when
neither 'Timer::Session::elapsed_ms' nor the RTC is called.

Best regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Full Genode Install

2014-10-28 Thread Norman Feske
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, Seoul, Rump-kernel-based file systems, and many more components.

But for being fit as a general-purpose OS, there is still the need to
address some remaining points, in particular proper packaging. Right
now, we use run scripts to build whole system scenarios. For
comprehensive scenarios, the build can take hours. This is acceptable
for special-purpose systems but it does not scale enough for a
general-purpose OS. The work flow of building and using the latter
should be far more interactive. E.g., installing new subsystem on the
fly without the need to rebuild a system image or even reboot the machine.

That said, we definitely strive for Genode to become a general-purpose
OS. So we will take on these challenges. This intention is best
illustrated by our recently added GUI stack (the composition of window
manager, nitpicker, decorator, window layouter). So stay tuned! ;-)

Of course, you are very welcome to investigate Genode as a
general-purpose OS on your own. E.g., porting the Debian bootstrapping
to a Noux instance would certainly be an interesting project. Or another
(and in my personal opinion more thrilling) idea, port the Nix package
manager to a Noux environment.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: tz_vmm on imx6 Board

2014-10-28 Thread Christian Helmuth
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
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: tz_vmm on imx6 Board

2014-10-28 Thread Christian Helmuth
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
var/run/ directory.

Greets
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main