+with a message that might say:@footnote{To be precise, GDB will stop
+only when running under Bochs. When running under QEMU, you must
+set a breakpoint in the @code{page_fault} function to stop execution
+when a page fault occurs. In that case, the @code{btpagefault} macro is
+unnecessary.}