Debianize optee-os

Change-Id: I2b7da6021d2f2b7421dde02580486e239463e56b
6 files changed
tree: 37b071d747530048506d9dad90e9bf2e31e24ebf
  1. debian/