arm64 support

Greg Gallagher greg at embeddedgreg.com
Mon Apr 20 07:32:19 CEST 2020


Hi,
On Mon, Dec 2, 2019 at 7:30 AM smpd support via Xenomai
<xenomai at xenomai.org> wrote:
>
> Thank you for your reply.
>
>   *   Linux 4.19.81 (Raspberry pi github repos)
>   *   ipipe-core-4.19.55-arm64-4.patch
>   *   Xenomai-3.1-rc3
>
> When I build with arm64 and run it on a Raspberry Pi 3,
> mmap fails when I run userland tools.
> (The situation is the same for all tools such as corectl.)
>
> I think it's a matter of kernel configuration,
> so I'm going to do trial and error.
> If you have any advice, please let me know.
>
> ```
> root [ /opt/xenomai/sbin ]# ./corectl
>    0"000.000| BUG in cobalt_check_features(): [main] failed mmap(/dev/mem): Operation not permitted
> ```
>
> Excerpt the log at startup.
> ```
> root [ ~ ]# dmesg |grep pipe
> [ 0.000346] Interrupt pipeline (release #4)
> [ 0.414059] I-pipe: head domain Xenomai registered.
>
> root [ ~ ]# dmesg |grep Xeno
> [ 0.413758] [Xenomai] scheduling class idle registered.
> [ 0.413807] [Xenomai] scheduling class rt registered.
> [ 0.414059] I-pipe: head domain Xenomai registered.
> [ 0.418702] [Xenomai] Cobalt v3.1-rc3
> ```
>
> ---
>
> For comparison, here is a log from Linux 4.14. 52 (arm) on Raspberry Pi 3.
>
> pi at smpd:~ $ dmesg |grep pipe
> [ 0.000000] I-pipe, 19.200 MHz clocksource, wrap in 960767920505705 ms
> [ 0.000000] clocksource: ipipe_tsc: mask: 0xffffffffffffffff max_cycles: 0x46d987e47, max_idle_ns: 440795202767 ns
> [ 0.000316] Interrupt pipeline (release #4)
> [ 0.390886] clocksource: Switched to clocksource ipipe_tsc
> [ 0.406179] I-pipe: head domain Xenomai registered.
>
> pi at smpd:~ $ dmesg |grep Xeno
> [ 0.406084] [Xenomai] scheduling class idle registered.
> [ 0.406087] [Xenomai] scheduling class rt registered.
> [ 0.406179] I-pipe: head domain Xenomai registered.
> [ 0.407629] [Xenomai] Cobalt v3.0.7 (Lingering Dawn)
>
> K.Yoshioka
>
> ________________________________
> 差出人: Jan Kiszka <jan.kiszka at siemens.com>
> 送信日時: 月曜日, 12月 2, 2019 8:46 午後
> 宛先: smpd support; xenomai at xenomai.org
> 件名: Re: arm64 support
>
> Try 3.1-rc3 (or the master branch directly). 4.19-based I-pipe is
> strongly recommended. See also [1] for a working arm64 setup, on a hikey
> though.
>
> Jan
>
> [1] https://gitlab.denx.de/Xenomai/xenomai-images
I know this thread is very old, but the reason you are seeing this
issue is because your kernel has CONFIG_STRICT_DEVMEM enabled.
Disable this config and it should work.

A new ARM64 ipipe patch should be out this week for 4.19.114 and I've
had good results testing on  the rpi3b

-Greg



More information about the Xenomai mailing list