[PATCH v2 0/3] stubdom/grub: avoid relying on start_info definition

[Juergen Gross <jgross@xxxxxxxx>]

With the related change having been added to Mini-OS, the single V1
patch can now be expanded to a 3 patch series, especially meant to
untangle the close dependencies between grub-pv and Mini-OS internals.

Changes in V2:
- add comment to patch 1
- added patches 2+3

Juergen Gross (3):
  stubdom/grub: avoid relying on start_info definition
  Config: update Mini-OS commit id
  stubdom/grub: swap start_info usage with start_info_ptr

 Config.mk            |  2 +-
 stubdom/grub/kexec.c | 26 +++++++++++++-------------
 2 files changed, 14 insertions(+), 14 deletions(-)

-- 
2.43.0