Links: file I/O into pipe I/O with /dev/fd, Hot Chips RISC-V tute video