NFU Specification

Simple overview:

• NFU server -- "adjacent" to IBP depot.
• NFU Op -- lightweight program, written in C, or Java, depending on server.
• NFU client -- launches nfuOps and exchanges data with it.
  • Two types of data exchange:
    • 1. variable exchange -- data passed directly between NFU Client and NFU Op

IBP_VAL_[IN,OUT,INOUT]

• • • 2. IBP Cap handling

IBP_REF_[RD,WR,RDWR] client sends an IBP Cap to server, NFU server returns pointer to mmap of the allocation