3 Commits

Author	SHA1	Message	Date
Alexander Boettcher	cec3ca6a70	x86: use slave label to differentiate device PDs ... Issue #1848	2016-01-13 14:59:05 +01:00
Alexander Boettcher	92cb9eb06d	x86: support dynamic upgrades for platform driver ... and, especially, for the device_pd. Account all resources per platform session separately. Fixes #1539	2015-11-29 18:17:02 +01:00
Alexander Boettcher	4c4e7c64d0	x86: start per platform session separate device_pd ... Issue #1539	2015-11-27 12:18:54 +01:00