[PATCH v2 0/3] tools/libs: final cleanup removing old mini-os callbacks

[Juergen Gross <jgross@xxxxxxxx>]

This is a final patch series removing the library callbacks referenced
directly by Mini-OS.

Changes in V2:
- added patch 1
- rebase

Juergen Gross (3):
  config: use more recent mini-os commit
  tools/libs/evtchn: remove old mini-os callback
  tools/libs/gnttab: remove old mini-os callback

 Config.mk                  |  2 +-
 tools/libs/evtchn/minios.c | 11 -----------
 tools/libs/gnttab/minios.c |  9 ---------
 3 files changed, 1 insertion(+), 21 deletions(-)

-- 
2.31.1