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?
2013/2/28 Sebastian Sumpf
<Sebastian.Sumpf@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@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers