mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-11 05:31:28 +00:00
Pipe between files using POSIX stdio. This facilitates raw transfers between arbitrary resources exposed by the VFS library. Fix #2708
The pipe utility is for piping between files using the semantics of POSIX stdio. An example of piping clock jitter to a terminal session: ! <start name="pipe"> ! <resource name="RAM" quantum="2M"/> ! <config> ! <vfs> ! <jitterentropy name="rng"/> ! <terminal name="tty"/> ! </vfs> ! <libc stdin="/rng" stdout="/tty"/> ! </config> ! </start>