Roadmap 2015

Tue Dec 23 00:19:01 CET 2014

Sorry, but I have no experience with coding drivers, and I'm unfamiliar
with the relevant hardware interfaces. As for AHCI, after recording a video
of Genode's output (serial communication isn't working), I found that it
does annonce sevice "Block", however part_blk doesn't give any output
whatsoever when trying to use AHCI's block service. I started another email
thread about it. Any help would be great.
Thanks for the tip about not porting X11.

On Mon, Dec 22, 2014 at 11:03 PM, Peter Lindener <lindener.peter at ...9...>
wrote:
>
> Greetings fellow Genodians-
>     Norman, I like where Genode is going!
>
>     I currently run my copy of Win7 inside or VirtualBox hosted via Mint
> Linux 17...  it's unfortunate that full support for VBox guest USB access
> (I gather) requires the instillation of Oracle's VirtualBox Extension Pack
> <https://www.virtualbox.org/wiki/Downloads> that is full of "less
> trusted" proprietary driver code.....
>
>    it would be great if the shift to use Genode as my day to day OS
> foundation...might help people move beyond depending on the portion of
> VirtualBox code that is "less than fully open" ..
>
>    more so, if the VirtualBox code base ever happened to do something
> "less than trustworthy".... it would be great if the Gnode OS would be
> likely to catch it in the act of doing so..  such that we might be able to
> catch and fix any security flaws that might exist in VirtualBox's open
> source code base...
>
>   It would be good if somehow Docker and/or CoreOS containers might be
> able to run applications in a fairly light weight, but securely contained
> environment ( i.e.Network firewall, selective access file system ) under
> Genode...
>
>    My sense is that support for x11 would be a compleat wast of
> energie...but studying how Nitpicker might want to evolve to acomidate the
> Wayland display server API would likely be a very good thing for Genode's
> longer term future...   much of this display system adjustment might
> already be accommodated via Qt5....  so this might be faily easy to
> navigate..
>
>     Great to hear that Genode's future sound bright...I'm looking forward
> to it!
>      -Peter
>
>
> On Mon, Dec 22, 2014 at 3:22 AM, Norman Feske <
> norman.feske at ...1...> wrote:
>
>> 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/20141222/7000308d/attachment.html>