Add 'libsel4utils/' from commit '3af53102843fda03c107caf83d43685b0a3c4822'

git-subtree-dir: libsel4utils
git-subtree-mainline: 5fc5d2e75a7f64959e702f0996514f8f5e6c26da
git-subtree-split: 3af53102843fda03c107caf83d43685b0a3c4822
tree: 3b7776a006ff3078b2246e668293f61decbe85e7
  1. libsel4utils/
  2. .gitignore
  3. README.md
README.md

seL4_libs