On Fri, Nov 30, 2018 at 12:53:38PM +0100, Gerd Hoffmann wrote: > Hi, > > > Do you know, for this particular optionrom, if int19 is recaptured and > > the user then chooses it from the boot menu, does it continue to work? > > I've asked them to test that.
Feedback arrived: Yes, picking a nic from the boot menu continues to work with recaptured int19. cheers, Gerd _______________________________________________ SeaBIOS mailing list SeaBIOS@seabios.org https://mail.coreboot.org/mailman/listinfo/seabios