Please include intel and google on your patches because we'll be needing this support in the near future as well. The allocator limitations are known, and Kyosti and I have talked about improving things here. As for the children comment you need to reserve a sufficiently large mmio space and in the hotplug path one can allocate subdevices. Since it's inherently a hotplug there's no way to know what the topology will be when a device is plugged in.On Wed, Oct 9, 2019 at 12:32 PM Jeremy Soller <jeremy@system76.com> wrote:This is to continue the discussion from the coreboot leadership meeting. Thunderbolt devices are not correctly initialized by Coreboot such that the OS can boot without kernel parameters and allow for Thunderbolt hotplugging. Additional bus numbers and memory must be allocated.I will be working on support for this for our System76 mainboards.Here were the notes taken about it during the meeting, see 9 October 2019, PCIe Hotplug on newer Intel socs:--Jeremy SollerSystem76Engineering Manager_______________________________________________coreboot mailing list -- coreboot@coreboot.orgTo unsubscribe send an email to coreboot-leave@coreboot.org