On Fri, May 17, 2019 at 09:22:26AM -0400, Sasha Levin wrote: > The whole TEE subsystem is already well documented in our kernel tree > (https://www.kernel.org/doc/Documentation/tee.txt) and beyond. I can add > a reference to the doc here, but I'd rather not add a bunch of TEE > related comments as you suggest later in your review. > > The same way a PCI device driver doesn't describe what PCI is in it's > code, we shouldn't be doing the same for TEE here. Thanks for pointing out the documentation! That is sufficient. /Jarkko
