Genode OS Framework version 13.02 released

Jian Liu gjk.liu at gmail.com
Sun Mar 3 04:41:47 CET 2013


Hi Chao-Jui,

      Good Job. I am looking forward your release too. How long has your
done this work?

      Jian LIU
----
email to: gjk.liu at gmail.com


2013/3/2 Chao-Jui Chang <ppc52776 at gmail.com>

> Hi Sebastian,
>
> I am working on porting Fiasco.OC to Exynos4 platform.
> Your Exynos5 porting helps me a lot.
> Now Fiasco.OC works on Exynos4 platform.
>
> Most bsp code comes from yours with some memory mapping and IRQ number
> changes.
> L2 cache also enables for Exynos4 with the magic value copying from a
> booted Linux kernel.
>
> Would you mind I post the modified code here?
>
> Cheers,
> Chao-Jui
>
>
> 2013/2/28 Sebastian Sumpf <Sebastian.Sumpf at genode-labs.com>
>
>> We are pleased to announce the release of Genode version 13.02. The most
>> prominent features are the improved handling of dynamic workloads on the
>> NOVA hypervisor, IOMMU support as well as the integration of Markus
>> Pateymüller's work on the Vancouver VMM. Fiasco.OC has been updated to
>> the most recent version and there are new platforms available for our
>> custom kernel.
>>
>> The full story can be explored in the release notes:
>>
>> http://genode.org/documentation/release-notes/13.02
>>
>> Release-notes summary:
>>
>> - DMA protection via IOMMU (NOVA/x86)
>> - Full virtualization via the Vancouver VMM (NOVA/x86)
>> - Redesigned audio-output support for low latency
>> - Base API and OS infrastructure
>>   - New fault-detection facility
>>   - New mechanism for file-system notifications
>>   - New terminal multiplexer
>> - Device drivers
>>   - ACPI support for 64-bit machines
>>   - New OMAP4 UART driver
>>   - USB support for Samsung Exynos 5250
>> - Base platforms
>>   - Custom kernel platform with added support for Samsung
>>     Exynos 5250 and Freescale i.MX53
>>   - NOVA kernel improved for highly dynamic workloads
>>   - Fiasco.OC kernel forked, Exynos-5250 support added
>>   - Improved memory management on Linux
>>
>> Enjoy,
>>
>> Sebastian
>>
>> --
>> Sebastian Sumpf
>> 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
>>
>>
>>
>>
>> _______________________________________________
>> l4-hackers mailing list
>> l4-hackers at os.inf.tu-dresden.de
>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>>
>
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130303/078bbfbc/attachment.htm>


More information about the l4-hackers mailing list