../../../../third_party/NuttX/drivers/pipes