diff --git a/sys/conf/options.ia64 b/sys/conf/options.ia64
index 11f2285c713..7a292ed711d 100644
--- a/sys/conf/options.ia64
+++ b/sys/conf/options.ia64
@@ -20,6 +20,9 @@ VGA_NO_MODE_CHANGE	opt_vga.h
 VGA_SLOW_IOACCESS	opt_vga.h
 VGA_WIDTH90		opt_vga.h
 
+# AGP debugging.
+AGP_DEBUG		opt_agp.h
+
 PSM_HOOKRESUME		opt_psm.h
 PSM_RESETAFTERSUSPEND	opt_psm.h
 PSM_DEBUG		opt_psm.h
diff --git a/sys/ia64/conf/NOTES b/sys/ia64/conf/NOTES
index de9eae23092..138396aeaa7 100644
--- a/sys/ia64/conf/NOTES
+++ b/sys/ia64/conf/NOTES
@@ -101,6 +101,9 @@ options 	VGA_WIDTH90		# support 90 column modes
 # Debugging.
 options 	VGA_DEBUG
 
+# AGP debugging.
+options		AGP_DEBUG
+
 # The following devices are not supported.
 nodevice	fdc
 nooption	FDC_DEBUG