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

Dmitriy Cherkasov dmitriy at oss-tech.org
Thu May 17 04:13:01 CEST 2018


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.



More information about the Xenomai mailing list