Hello,
following-up my last posting, Genode 15.05 was released earlier today.
As promised, it comes with principle support for seL4.
A quick summary of the current release:
- Comprehensive architectural documentation
- Feature completion of the our custom kernel
- Kernel-protected capabilities
- Principal support for the 64-bit x86
- Dynamic thread weights
- Revised device-driver infrastructure
- Device drivers
- New AHCI driver
- Multi-touch support
- Audio drivers ported from OpenBSD
- SD-card drivers for i.MX53 and Raspberry Pi
- Board support for i.MX6-based Wandboard
- Support for GPT partitions
- Proof-of-concept support for the seL4 kernel
- NOVA kernel mechanism for signals
- Tool chain updated to GCC 4.9.2 and binutils 2.25
Besides seL4 support, the most prominent addition is a completely new
documentation in the form of the book "Genode Foundations":
http://genode.org/documentation/genode-foundations-15-05.pdf
These and many more topics of the release are covered in the release
documentation:
http://genode.org/documentation/release-notes/15.05
Best regards
Norman
On 05/18/2015 04:06 PM, Norman Feske wrote:
> Hello,
>
> my work on bringing Genode to seL4 has reached a point where simple
> Genode system scenarios can be executed on the seL4 kernel. The
> development steps and the rationale behind the taken design decisions
> are documented in the following article:
>
> http://genode.org/documentation/articles/sel4_part_3
>
> The individual steps can be examined as separate commits on my topic
> branch cited in my previous email. Even though the current version is
> still at a proof-of-concept stage, we plan to feature it in the upcoming
> Genode release 15.05.
>
> Cheers
> Norman
>
> On 03/10/2015 01:20 PM, Norman Feske wrote:
>> Hello,
>>
>> I went a bit further with bringing seL4 and Genode together. The
>> following article describes a series of small experiments with the
>> kernel's IPC mechanism and the management of virtual memory.
>>
>> http://genode.org/documentation/articles/sel4_part_2
>>
>> The steps described in the article can be reproduced via my
>> corresponding topic branch, which I have just rebased on top of Genode's
>> master branch:
>>
>> https://github.com/nfeske/genode/commits/sel4
>>
>> Cheers
>> Norman
>>
>>
>> On 10/30/2014 01:26 PM, Norman Feske wrote:
>>> Hello,
>>>
>>> I have written up the first of a series of articles about using seL4 as
>>> base platform for the Genode OS framework:
>>>
>>> http://genode.org/documentation/articles/sel4_part_1
>>>
>>> I hope that it contains useful bits of information for novices of seL4
>>> and Genode alike. Even though the article outlines a few hurdles, the
>>> overall experience of using the kernel had been overly positive so far.
>>>
>>> For those of you interested in tracking the progress of the ongoing
>>> work, here is the corresponding topic branch:
>>>
>>> https://github.com/nfeske/genode/commits/sel4
>>>
>>> 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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
