Does Genode support for 64-bit ARM processor?

[li94575]

Hi all,
Can the new ARM Cortex-A53 processor with ARM v8 architecture run on Genode+Fiasco.OC?

Thank you.

[Stefan Kalkowski]

Hi,

Post by li94575
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

Post by li94575
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
https://lists.sourceforge.net/lists/listinfo/genode-main

[Peter Lindener]

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

Post by li94575
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
https://lists.sourceforge.net/lists/listinfo/genode-main

[Norman Feske]

Hello,

Post by Peter Lindener
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