Add 'libsel4platsupport/' from commit 'cb83528261de6ad393a80a3acbc6a7e6059790e1'

git-subtree-dir: libsel4platsupport
git-subtree-mainline: f077a17fb9f4f857e1b30deaa7eb608f63a9a6e8
git-subtree-split: cb83528261de6ad393a80a3acbc6a7e6059790e1
tree: 035cb0bc069c716e3977c60d0786badf3bc45fcf
  1. libsel4platsupport/
  2. libsel4utils/
  3. .gitignore
  4. README.md
README.md

seL4_libs