Re: [PATCH 2/4] stubdom: remove pciutils

Juergen Gross, le lun. 17 août 2026 10:24:02 +0200, a ecrit:
> On 17.08.26 09:48, Samuel Thibault wrote:
> > Juergen Gross, le lun. 17 août 2026 09:18:41 +0200, a ecrit:
> > > There is no user of libpci left in stubdoms.
> > > 
> > > Remove libpci from the stubdom build system.
> > 
> > Wouldn't it be useful to keep this for anybody who would want to drive a
> > PCI card from a stubdomain?
> > 
> > I mean, in the zlib case, it's really a mere question of build & link,
> > so we don't need to ship it, people can do it themselves easily like for
> > any other library.
> > 
> > But here there is actual porting work, that we'd better not lose but
> > keep shipping.
> 
> This is all still available via git.

No, it is not really.

I keep reading this argument, but people will not know that something
exists in the git history, and will just assume that it does not exist
and has to be written.

Samuel