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 : 8-bit VMID
> > [ 0.732121] kvm : IDMAP page: 40c5e000
> > [ 0.736134] kvm : HYP VA range: 800000000000:ffffffffffff
> > [ 0.742609] kvm : 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
Xenomai mailing list