On Thu, Oct 19, 2017 at 01:06:17AM -0700, Christoph Hellwig wrote: > On Mon, Oct 16, 2017 at 10:18:49PM +0300, Jarkko Sakkinen wrote: > > Export create_pipe_files() and replace_fd() so that the SGX driver is > > able to create stdin and stdout pipes. > > Err, no way. What would be a better alternative? /Jarkko