Re: [PATCH] term/serial: Add support for PCI serial devices

[Glenn Washburn]

On Thu, 25 Aug 2022 09:57:32 +0200
Peter Zijlstra <peterz@infradead.org> wrote:

> On Wed, Aug 24, 2022 at 06:36:27PM -0500, Glenn Washburn wrote:
> > You will need to run the bootstrap script in the root of the repo to
> > rebuild the build scripts before running configure and make.
> 
> FWIW bootstrap scribbles INSTALL

Its been a while since I've looked at this. But I believe that INSTALL
is copied to INSTALL.grub. Is INSTALL getting overwritten with a
default INSTALL not related to GRUB? I'm unsure of what you're really
wanting to convey here. Something actionable?

Glenn