optee-os: make build work in devtool #1808
+1
−1
Open
Loading