array VmIndex [byte; 8];
array FdIndex [byte; 8];
vector FdIndices <FdIndex>;
vector Bytes <byte>;
table Pipe {
vm: VmIndex,
read_fd: FdIndex,
write_fd: FdIndex,
}
vector Pipes <Pipe>;
table Write {
from: VmIndex,
from_fd: FdIndex,
to: VmIndex,
to_fd: FdIndex,
data: Bytes,
}
vector Writes <Write>;
table Spawn {
from: VmIndex,
child: VmIndex,
fds: FdIndices,
}
vector Spawns <Spawn>;
table Data {
spawns: Spawns,
pipes: Pipes,
writes: Writes,
}