Roadmap 2015

Wed Dec 24 09:54:37 CET 2014

I second that suggestion.
On Dec 24, 2014 1:48 AM, "Wolfgang Schmidt" <wolfgang.schmidt at ...243...>
wrote:

> Hi,
>
> i would propose something quite boring:
>
> Automated tests of each component and script and giving the results on a
> web
> page so one can easily see if everything is up and running together with an
> update of the documentation.
>
> Why?
>
> As I tried out genode I ran in a few issues. Some needed a fix from your
> site, some are never fixed (e.g. last problems between blkcache and rumpfs,
> last mail form Stefen Kalkowski with :"
> Well, I've tested the scenario on a "real" ext2 partition too, and observed
> the corruption of the filesystem with and without the blk_cache. Therefore,
> I assume it isn't related to the cache, but to the
> rump fs server, or it's usage.")
>
> This means at the moment if I use something and anything goes wrong there
> are many possible suspects:
> - Documentation is outdated.
> - Documentation has something missing which is written in some release
> note/documentation
> - Information from last release note is also already outdated
> - I have done something wrong
> - some component does not work as expected (e.g. from time to time you read
> "haven't used it for some time, script no longer works")
> - problem with the correct setup or the way components work together.
>
> Every issue with a component can be a possible security bug.
>
> Benefits:
> - Updates of the documentation will help other developers or people just
> trying out the system
> - Test scripts and reacting on the results will produce a system which is
> more stable
>
> How?
> First minimal step:
> - set up a continues integration system.
> - create at least one test for every component ( later: create unit tests
> to
> test e.g. every path, null values, wrong values and so on, but for start
> just do a test which tests the expected behaviour of the system. )
> - create an easy to view output, e.g.
>    Component | Red-Green
>    (leading to a finer granulated page with Component | Test | Red-Green |
> Error output)
> With the automated run after a check in you can see wether a component
> still
> runs after changes (Later: auto reject changes which lead to failed runs).
> That leads to 2 major things:
> - Third party developers can see wether a component is generally usable
> - As it is clear which action lead to a failed run the bug can be found
> faster and the time to fix shoudl be lower
>
>
>
> Best regards
> Wolfgang
>
> -----Ursprüngliche Nachricht-----
> From: Norman Feske
> Sent: Monday, December 22, 2014 12:22 PM
> To: Genode OS Framework Mailing List
> Subject: Roadmap 2015
>
> Hello everybody,
>
> with New Year in sight, it is time to make up our minds regarding the
> plans for 2015. Everyone of you is invited to suggest directions that
> you find worthwhile to pursue - or even better - share your concrete
> plans with us. I intend to finalize the road map for 2015 by mid of
> January.
>
> Personally, I have three ambitions, namely the use of Genode as
> general-purpose OS, the base-hw kernel, and the seL4 kernel. Let me
> briefly revisit each of them.
>
>
> Genode as general-purpose OS
> ----------------------------
>
> We made big steps for pursuing Genode as general-purpose OS on x86-based
> platforms. I'd particularly like to highlight the following achievements:
>
> * The use of Rump kernels as file-system providers
> * VirtualBox with support for shared folders and guest networking
> * Intel wireless stack
> * New GUI stack
>
> That said, even though we are proud about the progress, we are still not
> there yet. So what keeps us back? I think that the answer is actually
> not technical. My observation is that each of us developers used to
> concentrate on individual features or technical challenges. But the
> integration of sophisticated system scenarios was left to only a few of
> us. Such integration feats were mainly motivated by a particular project
> or by a presentation. In order to make Genode fit for regular use, we
> will first need to make the composing of advanced systems a habit for
> most of the regular developers.
>
> I'd like to keep the topic as first priority in 2015 but concentrate
> less on features (as I think the feature set for us developers is fairly
> complete) but more on looking at Genode in a holistic way. I would like
> to see the following things realized:
>
> * A system booting from USB storage, which contains a VirtualBox
>   instance running a regular Linux-based OS besides native Genode
>   components. A shared folder is to be used to bridge both worlds.
>   We start out with working in the guest OS and then successively
>   move functionalities over to the Genode world. Those functionalities
>   are:
>   * Editing text, e.g., using Vim in a Noux environment
>   * Creating and starting Genode configurations on the fly
>   * Using a web browser in Genode
>   * Moving emails to the Genode world
>   * Use the Genode tool chain
>   * Using Git
>   I expect that we will stumble over several small issues and
>   inconveniences on our way, which gives us the right motivation
>   to rectify those things.
>
> * A way to easily install and use pre-packaged Genode subsystems.
>   I'd like to remove the burden to compile Qt5 + WebKit for everyone
>   who wants to use a web browser on Genode.
>
> * Tools for looking at the system at runtime to identify performance
>   hot spots. I'd love it identify strangely behaving components as
>   easily as running 'top' on Linux.
>
> * A solid solution for platform drivers (supporting MSIs and the
>   hot-plugging of devices). I.e., I'd like to access the content
>   of a plugged-in USB stick without the need to reboot the machine.
>
> * The evolution of our capability-based desktop environment, driven
>   by our actual requirements stemming from the daily use of Genode.
>   The system should be fun to use and put the user in control at
>   all times.
>
> * Making Genode components and libraries binary compatible across
>   different kernels. I see this as a prerequisite to offer binary
>   packages of Genode subsystems. The new dynamic linker introduced
>   in Genode 14.11 is an important step. The next step is the
>   unification of the Genode API across all kernels.
>
>
> Base-hw kernel
> --------------
>
> In 2014, our base-hw kernel made the transformation from a research
> vehicle to a feasible base platform for Genode. The past year brought a
> huge jump in terms of performance, MP support, a clean internal
> structure, and a new scheduler.
>
> In 2015 it will eventually become product-quality software. The only
> missing element is the support for capability-based security, which is
> being worked on right now. For base-hw, my wish list looks as follows:
>
> * Capability-based security
> * Integration of our existing ARM virtualization research
>
>
> seL4 kernel
> -----------
>
> I feel that the seL4 kernel and Genode could complement each other
> rather well. The use of seL4 as kernel would make Genode very appealing
> in application areas where both the kernel's formal verification and
> Genode's broad feature set are desired. From the perspective of the seL4
> developers, Genode would represent the first true microkernel-based
> general-purpose OS running on their kernel. I would hope that, by
> supporting seL4 as kernel for Genode, we may create an incentive for
> both developer teams to start collaborating more closely.
>
>
> These are my thoughts. I am looking forward to your ideas and comments.
>
> 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
>
>
> ------------------------------------------------------------------------------
> Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
> from Actuate! Instantly Supercharge Your Business Reports and Dashboards
> with Interactivity, Sharing, Native Excel Exports, App Integration & more
> Get technology previously reserved for billion-dollar corporations, FREE
>
> http://pubads.g.doubleclick.net/gampad/clk?id=164703151&iu=/4140/ostg.clktrk
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
>
>
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming! The Go Parallel Website,
> sponsored by Intel and developed in partnership with Slashdot Media, is
> your
> hub for all things parallel software development, from weekly thought
> leadership blogs to news, videos, case studies, tutorials and more. Take a
> look and join the conversation now. http://goparallel.sourceforge.net
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20141224/004b0380/attachment.html>