claudio 1fe9e91d93 Change vmm-firmware port by adding:
- bootorder support (CONFIG_BOOTORDER=y)
- setting the default for screen-and-debug to 0 since for vmd screen is
  always the serial port (which is used for debug)
- Use a while (len--) inb() loop to read from IO ports instead of 'rep insb'
This will allow to implement fw_cfg support into vmd(4) and through that to
support alternative boot devices.
I tested OpenBSD (disk and cdrom boots) and a Linux guests and all still works.
OK reyk@, sthen@ and mlarkin@
2018-12-10 16:25:17 +00:00
..
2018-09-21 10:20:36 +00:00
2018-12-10 16:25:17 +00:00
2018-01-10 20:54:43 +00:00