[SeaBIOS] seabios fails to build with current IASL

2018-07-12 Thread Vivia Nikolaidou
Hi, Thanks for taking action on this bug that I reported. This is a follow-up from https://mail.coreboot.org/pipermail/seabios/2018-July/012353.html - I just subscribed to the mailing list and I don't have an easy way to reply to that email directly. On Mon, Jul 02, 2018 at 09:10:34AM +0200,

Re: [SeaBIOS] hotplug failure issue on pci-bridge

2018-07-12 Thread Laszlo Ersek
On 07/12/18 07:43, Liu, Jing2 wrote: > Yep, thanks for the advice. > But hotplugging on pci-bridge is the actual use case > request so we would better solve and fix this. It doesn't take a bugfix, but a feature. The firmware needs to be told to reserve PCI resources in advance, in preparation for