[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] term/serial: Add support for PCI serial devices
From: |
Glenn Washburn |
Subject: |
Re: [PATCH] term/serial: Add support for PCI serial devices |
Date: |
Thu, 25 Aug 2022 10:51:29 -0500 |
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
- [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/24
- Re: [PATCH] term/serial: Add support for PCI serial devices, Glenn Washburn, 2022/08/24
- Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/24
- Re: [PATCH] term/serial: Add support for PCI serial devices, Glenn Washburn, 2022/08/24
- Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices,
Glenn Washburn <=
- Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices, Glenn Washburn, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices, Glenn Washburn, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/25
- Re: [PATCH] term/serial: Add support for PCI serial devices, Glenn Washburn, 2022/08/26
Re: [PATCH] term/serial: Add support for PCI serial devices, Peter Zijlstra, 2022/08/25
Re: [PATCH] term/serial: Add support for PCI serial devices, Gerd Hoffmann, 2022/08/25