[PATCH 0/4] stubdom: remove building unused libraries

[Juergen Gross <jgross@xxxxxxxx>]

Pciutils and zlib are no longer used by any stubdom since removal of
grub-pv, so they can be removed from the stubdom build system.

Juergen Gross (4):
  Config: update Mini-OS commit id
  stubdom: remove pciutils
  stubdom: remove build of zlib
  CHANGELOG: add removal of grub-pv

 CHANGELOG.md              |   2 +
 Config.mk                 |   2 +-
 config/Stubdom.mk.in      |   6 -
 stubdom/.gitignore        |   2 -
 stubdom/Makefile          |  53 +------
 stubdom/configure         |  36 -----
 stubdom/configure.ac      |   2 -
 stubdom/libpci.config.h   |   5 -
 stubdom/libpci.config.mak |   7 -
 stubdom/pciutils.patch    | 298 --------------------------------------
 10 files changed, 4 insertions(+), 409 deletions(-)
 delete mode 100644 stubdom/libpci.config.h
 delete mode 100644 stubdom/libpci.config.mak
 delete mode 100644 stubdom/pciutils.patch

-- 
2.55.0