Re: Ideas about interactive GUI

2017-04-19 Thread Norman Feske
Hi Boris,

>> The answer may depend on the complexity of the subsystem manager, which
>> is obviously critical. Does the separation of the menu from the
>> subsystem manager contribute to significantly lower the TCB of the
>> subsystem manager?
> 
> It does not necessarily change the TCB, but it is done for the sake of
> reusability and code readability/ease of programming. From that
> perspective we think it would be nice if these things were separated,
> and for instance the menu part could be used in another application as well.

Please don't get me wrong. I do not oppose your idea. In contrary, I am
all for the creation of re-usable components! It is just that I feel
unable to fully grasp the requirements on a generic menu component. I
encourage you to pursue your approach and let us see where it takes us.

Also, however the menu will emerge, by using (and possibly improving)
the menu_view as the basis for its presentation, we will both walk on
the same ground. :-)

>> This leaves the question about the input focus. When using the wm, the
>> focus is already defined by the window layouter via the 'focus' ROM. The
>> window layouter, in turn, already consumes a 'focus_request' ROM to
>> respond to externally triggered focus changes. This would be the right
>> hook for the menu / subsystem manager.
> 
> I've been looking into this mechanism, but so far it's not entirely
> clear to me. Do you mean that the subsystem manager could write to this
> focus_request report and the layouter would for example show/hide the
> appropriate windows automatically? If so, what about the focus_requests
> that come from the window manager?
> In short: how would that work?

It does not work out of the box but I think that a minor extension of
the window layouter will do the trick.

First, the 'focus_request' ROM is merely a vehicle to bridge the gap
between nitpicker's session_control interface and the aspired
report-ROM-based focus management. In the longer term I would like to
manage the nitpicker focus solely by the report-ROM mechanism. But this
is not easy because nitpicker changes the focus autonomously whenever
the user clicks on an unfocused view. So in order to streamline the
focus handling, we need to possibly redefine the role of nitpicker as
the sole arbitrator of the focus. Frankly speaking, there are still
loose ends. I hope to have the design clarified in summer when I will be
able to turn my attention to the tiled window manager.

Until then, I recommend you to follow the pattern of the 'focus_request'
in the window layouter. The most pragmatic way would be to add another
'external_focus_request' ROM and let the layouter respond to both.

The story about the hidden applications is similar. You will need to
extend the window layouter to request a 'hidden' ROM, which tells the
layouter which windows to suppress. The menu (or subsystem manager?)
would solely generate / update the 'hidden' reports.

Do you think this approach is viable for your line of work?

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

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Now: Nova not maintained [Earlier]: Understanding Muen [Earlier] Re: Problem with make run/demo ....

2017-04-19 Thread Shahbaz khan
On Wed, Apr 19, 2017 at 1:49 PM, Christian Helmuth <
christian.helm...@genode-labs.com> wrote:

> Hello Shahbaz Khan,
>
> On Wed, Apr 19, 2017 at 08:59:52AM +0500, Shahbaz khan wrote:
> > Please don't mind my changing the subject title.
>
> The truth is I do mind because this statement is wrong. Please refer
> to Alexander Böttcher's clarification
>
>
What can I say?

I'll add ... no hard feelings. It does hurt when your work is criticized
wrongly.

It does not seem incorrect to re-title when "Understanding Muen ..." comes
up with Nova does not seem to be maintained. You understand better. The
oldies know what to do in a world of politics. We abide so things run
smooth.


>   https://sourceforge.net/p/genode/mailman/message/35795215/
>
> Thanks
> --
> Christian Helmuth
> Genode Labs
>
> https://www.genode-labs.com/ · https://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
>
> 
> --
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> ___
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>



-- 
Shahbaz Khan
--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Now: Nova not maintained [Earlier]: Understanding Muen [Earlier] Re: Problem with make run/demo ....

2017-04-19 Thread Christian Helmuth
Hello Shahbaz Khan,

On Wed, Apr 19, 2017 at 08:59:52AM +0500, Shahbaz khan wrote:
> Please don't mind my changing the subject title.

The truth is I do mind because this statement is wrong. Please refer
to Alexander Böttcher's clarification

  https://sourceforge.net/p/genode/mailman/message/35795215/

Thanks
-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://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

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main


Re: Now: Understanding Muen and base_hw kernel from docs, [Earlier] Re: Problem with make run/demo ....

2017-04-19 Thread Alexander Boettcher
Hi,

On 18.04.2017 20:44, Nobody III wrote:
> By the way, NOVA doesn't seem to be maintained anymore, except a bit by
> Genode developers. Is this observation correct?

the version of NOVA shipped with Genode is very well maintained. This
kernel derivate (compared to the original version of the original
author) got extended by various features (read the Genode book) which
are essential to run smoothly with Genode. Calling this a 'bit' is
plainly wrong. Maybe we don't advertise it all over the day, but it is
the kernel with the best/most supported feature set on Genode/x86.

Cheers,

-- 
Alexander Boettcher
Genode Labs

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

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

--
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main