On Tue, Apr 04, 2023 at 01:01:50PM -0400, Joel Fernandes wrote: > [..] > > > The "improperly set" thingies are perhaps Kconfig on ARM64 setting some KVM > > > options slightly differently. I have seen that before as well on this board. > > > > Agreed, and one of the things on the long list is to allow arch-specific > > settings for those options. > > > > The CONFIG_SMP warnings are interesting, though. Does arm64 disallow > > !SMP builds? ;-) > > Yes, it looks like it. As per arch/arm64/Kconfig, CONFIG_SMP is always > 'y' and cannot be set. > > config SMP > def_bool y That would do it! And of course this also explains the CONFIG_TINY_SRCU complaints. Thanx, Paul
