Hi all, Can the new ARM Cortex-A53 processor with ARM v8 architecture run on Genode+Fiasco.OC?
Thank you.
Hi,
On 03/01/2016 02:17 PM, li94575 wrote:
Hi all, Can the new ARM Cortex-A53 processor with ARM v8 architecture run on Genode+Fiasco.OC?
no, currently it does not. We have no ARMv8 platform enabled yet, although I really would like to do so, other things are prioritized higher right now.
I think making the user-land components ARMv8 ready would not be an issue, but enabling our base-hw kernel for an ARMv8 platform will be more time-consuming (funding this would help a lot ;-)). With respect to Fiasco.OC: as you might know, we do not use the latest version of it, but an older one. Actually we concentrate more to enrich our base-hw kernel than updating Fiasco.OC. AFAIK, the current open-source version of Fiasco.OC does not provide ARMv8 support.
Regards Stefan
Thank you.
Site24x7 APM Insight: Get Deep Visibility into Application Performance APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month Monitor end-to-end web transactions and take corrective actions now Troubleshoot faster and improve end-user experience. Signup Now! http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Genode on ARMv8_64 sound like it will be a good thing, when it ends up happening... I already have a couple of Pine_64 https://www.pine64.com/'s (2GByte ram) on order in preparation for that day.. I will likely also order a pair of Raspberry_Pi_3's (1 GByte ram) just to hedge my bets as which platform is first supported.
Yesterday I did a bit of web surfing to in investigate xxxBSD state of support for running on ARMv8_64... I mention this a Genode has seen the wisdom of leveraging the BSD rump kernel drivers http://rumpkernel.org/... as such, Genode gets closer to supporting a given chip, when rump kernel style drivers are developed within the BSD camp.... (Norman do I have that right?)
all the best -Peter (SaxMan) Lindener
On Tue, Mar 1, 2016 at 5:17 AM, li94575 <li94575@...176...> wrote:
Hi all, Can the new ARM Cortex-A53 processor with ARM v8 architecture run on Genode+Fiasco.OC?
Thank you.
Site24x7 APM Insight: Get Deep Visibility into Application Performance APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month Monitor end-to-end web transactions and take corrective actions now Troubleshoot faster and improve end-user experience. Signup Now! http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140 _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hello,
On 04.03.2016 20:21, Peter Lindener wrote:
Genode on ARMv8_64 sound like it will be a good thing, when it ends up happening...
... [Would Rump kernels help here?] ...
porting Genode to a new CPU architecture requires work on the following areas, which are unrelated to our use of Rump kernels:
- Tool-chain support (enabling the new architecture in Genode's GCC- based tool chain) - Architecture-specific assembly startup code - Port of the base-hw kernel (or enabling another kernel's support for for the architecure), which implies among other things the platform bootstrapping, MMU driver, page-table definitions, cache and TLB handling, timer driver, IRQ controller driver, system-call bindings, and the code paths for entering and exiting the kernel mode. - Extending the dynamic linker with the support for the architecture- specific parts of the ELF binary (e.g., architecture-specific relocations, constructors and destructors) - Extending our (FreeBSD-based) C runtime with architecture-specific back-end code
This is just a very high-level view. To get a more concrete idea about the construction sites, it is instructive to look at the architecture-specific code of an already supported architecture, e.g., x86_64:
cd genode/repos find base base-hw os libports | grep x86_64
Regards Norman
-
li94575 -
Norman Feske -
Peter Lindener -
Stefan Kalkowski