FWIW, this is with a 32-bit executable on a 64-bit kernel. Another weird thing is that SDP seems to be doing two RDMA READs of size 0x1000 at remote addresses 0x1d94e000 and 0x1d94f000. With Tavors on a 32-bit machine, the same command line paramters result in a single RDMA read of size 0x2000. - R.