> On May 4, 2015, at 8:38 AM, Noel Chiappa <jnc at mercury.lcs.mit.edu> wrote: > >> From: Seth Morabito > >> 1. Halt the CPU and enter ODT > > I'm too lazy to check to confirm this, but I strongly suspect DMA requests > don't get serviced while the machine is halted. Correct. paul