diff -r 08bcbdf0ed5d docs/src/user.tex --- a/docs/src/user.tex Sun Apr 01 16:32:04 2007 -0500 +++ b/docs/src/user.tex Sun Apr 01 17:59:42 2007 -0500 @@ -3250,6 +3250,10 @@ editing \path{grub.conf}. \item [ dma\_emergency\_pool=xxx ] Specify lower bound on size of DMA pool below which ordinary allocations will fail rather than fall back to allocating from the DMA pool. +\item [ hap ] Instruct Xen to detect hardware-assisted paging support, such + as AMD-V's nested paging or Intel\textregistered VT's extended paging. If + available, Xen will use hardware-assisted paging instead of shadow paging + for guest memory management. \end{description} In addition, the following options may be specified on the Xen command