1# $FreeBSD$
2# Options specific to the ia64 platform kernels
3
4ITANIUM			opt_global.h
5ITANIUM2		opt_global.h
6
7LOG2_ID_PAGE_SIZE	opt_global.h
8LOG2_PAGE_SIZE		opt_global.h
9
10UWX_TRACE_ENABLE	opt_global.h
11
12COMPAT_FREEBSD32	opt_compat.h
13
14PV_STATS		opt_pmap.h
15
16XTRACE
17
18VGA_ALT_SEQACCESS	opt_vga.h
19VGA_DEBUG		opt_vga.h
20VGA_NO_FONT_LOADING	opt_vga.h
21VGA_NO_MODE_CHANGE	opt_vga.h
22VGA_SLOW_IOACCESS	opt_vga.h
23VGA_WIDTH90		opt_vga.h
24
25# AGP debugging.
26AGP_DEBUG		opt_agp.h
27
28PSM_HOOKRESUME		opt_psm.h
29PSM_RESETAFTERSUSPEND	opt_psm.h
30PSM_DEBUG		opt_psm.h
31
32# Atkbd options
33ATKBD_DFLT_KEYMAP	opt_atkbd.h
34