Re: Roadmap 2018

2017-12-29 Thread John J. Karcher

On 12/27/2017 11:15 AM, Christian Helmuth wrote:

Hello,

thanks Norman for making a start with the road-map discussion and also
for the review of 2017. Personally, I'm quite excited that Sculpt
enables me to work on Genode each day. This is pretty much different
from what I felt one year ago with a rather static scenario that I
used only once for a talk.

Looking at 2017 in hindsight, I did not invest much time into my
personal plan, which was a Genode-native multi-component email
workflow including IMAP, SMTP, local (maildir) storage, and mutt as
MUA. Nevertheless, I'll extend the plan to 2018 as Sculpt promises
less obstacles and features true dynamic Genode subsystems beside the
traditional Linux VM. The first natural step is the use of multiple
VMs tailored for dedicated purposes of daily work (speak development,
email, web browsing). This is not my personal ambition but the first
pieces were already put in place by others in the team. This scenario
helps to understand and solve the task of sharing data when splitting
the daily work into more fine-grained domains. Next, the email VM can
be replaced by the Genode email subsystem developed in parallel.


Chris, please keep us informed about your progress on the IMAP server 
scenario if you can.  I am also gradually making my systems more modular 
using VMs (although not quite as granular as what you describe above), 
and I am currently running an little IMAP server in a *nix VM, which I 
would love to replace with a Genode "appliance" VM.



Everyone, since I'm already chiming in, I might as well throw in this 
idea as food for thought:


It might be possible to piggyback on the work of the "postmarketOS" 
project ( https://postmarketos.org/ ) to get Genode running on a variety 
of smartphones with only one porting effort.  In a nutshell, they are 
isolating all the device-specific code into one file, in order to allow 
creating a single (highly customizable, Alpine Linux-based) OS image to 
run on all the supported devices.  I wonder if it's possible to create a 
Genode-on-Linux (ARM) scenario on this foundation.


In any case, thanks for the amazing work, and Happy New Year to everyone!

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


Constrained file descriptors

2017-12-29 Thread Johannes Kliemann
Hi Norman,

before Christmas we chatted about enabling the MMIO session on Linux.
You said that you know a possibility to create constrained file
descriptors (in such a way that accesses through this descriptor can
only access a part of the file). I've done a second search but I
couldn't find any useful information regarding this topic.
Do you have any further, more specific, information about how to achieve
this goal?

Regards,
Johannes

--
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: Sabre Lite imx6

2017-12-29 Thread Stefan Kalkowski
Hi Joel,

On Thu, Dec 28, 2017 at 05:39:48PM -0500, Baconicsynergy via genode-main wrote:
> Hello friends :) I am now the proud owner of the sabre lite imx6 SoC for the 
> purpose of experimenting and running seL4, and am really eager to start 
> building Genode scenarios. Unfortunately, the create_builddir tool only 
> specifies imx53. What can i do to start working with genode on the sabre lite?

You can use the "wandquad" board as a template to add the sabrelite
board. It uses an i.MX6 SoC too. You might also have a look at the
imx6_sabre branch in my genode repository on github. Just the last
commit is interesting, and might apply to the current general master
branch. I have once tested the basic log scenario, but I'm not sure by
100% wether it was the sabrelite or the sabre tablet.

Best regards
Stefan

> 
> Best regards,
> Joel Desermeau

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


-- 

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


Sabre Lite imx6

2017-12-29 Thread Baconicsynergy via genode-main
Hello friends :) I am now the proud owner of the sabre lite imx6 SoC for the 
purpose of experimenting and running seL4, and am really eager to start 
building Genode scenarios. Unfortunately, the create_builddir tool only 
specifies imx53. What can i do to start working with genode on the sabre lite?

Best regards,
Joel Desermeau--
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: IPC messaging

2017-12-29 Thread Norman Feske
Hi Ben,

On 28.12.2017 00:40, Nobody III wrote:
> Currently, Genode has session interfaces for various use cases, but I'm
> unsure of which one to use for simple "send-and-forget" scenarios. The
> "Terminal" interface seems to be the best option currently available,
> but seems a little misleading. Should I use "Terminal" sessions for
> send-and-forget IPC, or is there a better option?

it depends on the type of content you wish to send.

If your content is a *stream* of data, the 'Terminal' session is
appropriate.

If your content can be expressed as a *state*, better use the 'Report'
session interface.

In general, you should try to use the report-session interface whenever
possible because it does not require the queuing of information. In
contrast to streamed data, only the most recently reported state needs
to be preserved.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

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

2017-12-29 Thread Norman Feske
Hello Ben,

> Also, how well does the vfs server handle config updates?

the VFS does not support dynamic reconfiguration. (yet)
 > Can you give me more
> details on the status of the vfs in that regard? Specifically, how
> does it handle duplicates and writing?

The order of sub nodes within the top-level  node and within 
nodes defines how content is shadowed.

The VFS does not support copy-on-write. A file provided by a read-only
file system will stay read only and cannot be changed. However, we plan
to supplement copy-on-write support as a plugin later. Until then, the
use case of providing an initial version of a config file that can be
modified at runtime cannot be covered by the vfs. Here, we still have to
use the ram_fs loaded with initial .

> Which filesystem/plugin
> provides the file? And which one is written to when a new file is
> created?

A new file is created on the first writeable file system mounted at the
directory hosting the new file.

You may experiment with the VFS using a  file system as a writeable
file system and  file systems for read-only content. You may also
find the various noux scenarios worth looking at because they all use
the VFS. In particular, they mount multiple tar archives at '/' where
each tar archive contains a '/bin' directory. In the VFS, the joint
content of all archives becomes visible.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

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