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 _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
