Re: armv7hl LPAE kernel config

On Wed, Jul 27, 2022 at 12:50:25PM +0200, Matthias Brugger wrote:

Hi all,

I realized that config/armv7hl/lpae is a whole flavored config instead of an 'overlay' config like for example config/arm64/64kb.

Wouldn't it make more sense to transform lpae config into an overlay so that any driver changes done to armv7hl default config does not need to be mirrored against the default one?

AFAIK default is an overlay over lpae. Thanks Michal