gramineproject / gramine

A library OS for Linux multi-process applications, with Intel SGX support
GNU Lesser General Public License v3.0
587 stars 193 forks source link

[LibOS] Add `/dev/fd/` directory #1873

Closed mkow closed 4 months ago

mkow commented 4 months ago

Description of the changes

Fixes #1267 (or at least one of the problems there, I split out the other problem to #1872).

How to test this PR?

Try ls -la <(echo 123) in Bash under Gramine.


This change is Reviewable