Squashed 'platform/' content from commit 2a02682

git-subtree-dir: platform
git-subtree-split: 2a02682dfd907ce4603ae7be699d1957465a781f
Merge commit '4ab5f2efb4efa26b32c2a8bd6ecc4d8ba10a69c1' as 'platform'