[Xenomai] Boot failed on arm64 - xenomai_init --> ipipe_send_ipi

Lennart Sorensen lsorense at csclub.uwaterloo.ca
Thu May 17 16:31:24 CEST 2018


On Wed, May 16, 2018 at 07:13:01PM -0700, Dmitriy Cherkasov wrote:
> On Wed, May 16, 2018, at 11:13 AM, Auel, Kendall wrote:
> > I'm trying to build a xenomai-enabled kernel for an arm64 (quad A53 
> > cores). Something is not configured correctly, but I haven't been able 
> > to get past a stall during xenomai_init. Any ideas on what I'm doing 
> > wrong? Thanks.
> > 
> > [    0.729547] kvm [1]: 8-bit VMID
> > [    0.732121] kvm [1]: IDMAP page: 40c5e000
> > [    0.736134] kvm [1]: HYP VA range: 800000000000:ffffffffffff
> > [    0.742609] kvm [1]: Hyp mode initialized successfully
> 
> I don't think this patch has ever been tested with KVM/HYP mode. I
> would try and see if it works in SVC mode on the same hardware.

32 bit armhf does work with xenomai and HYP.  Never tried 64 bit arm
though.

-- 
Len Sorensen



More information about the Xenomai mailing list