Actually, according to various sources (including http://www.linuxfoundation.org/news-media/blogs/browse/2013/06/hardware-past-present-and-future-0) This is exactly how it's suppose to be done. BIOS handles allocation and passes the os a standard pci interface. When not dealing with mac, this makes OS implementation unnecessary,so long as pci hot-plug exists.
Power management, mobile and firmware developer on Linux. Security developer at Aurora. Ex-biologist. mjg59 on Twitter. Content here should not be interpreted as the opinion of my employer. Also on Mastodon.
Re: Thunderbolt support is in Kernel 3.12
Date: 2014-04-04 06:18 am (UTC)