1# 2# PAE -- Generic kernel configuration file for FreeBSD/i386 PAE 3# 4# $FreeBSD$ 5 6include GENERIC 7 8ident PAE-GENERIC 9 10# To make a PAE kernel, the next option is needed 11options PAE # Physical Address Extensions Kernel 12 13# To make an SMP kernel, the next two are needed 14#options SMP # Symmetric MultiProcessor Kernel 15#options APIC_IO # Symmetric (APIC) I/O 16 17# Compile acpi in statically since the module isn't built properly. Most 18# machines which support large amounts of memory require acpi. 19device acpi 20 21# Don't build modules with this kernel config, since they are not built with 22# the correct options headers. 23makeoptions NO_MODULES=yes 24 25# What follows is a list of drivers that are normally in GENERIC, but either 26# don't work or are untested with PAE. Be very careful before enabling any 27# of these drivers. Drivers which use DMA and don't handle 64 bit physical 28# address properly may cause data corruption when used in a machine with more 29# than 4 gigabytes of memory. 30 31nodevice ahb 32nodevice amd 33nodevice isp 34nodevice sym 35nodevice trm 36 37nodevice adv 38nodevice adw 39nodevice aha 40nodevice aic 41nodevice bt 42 43nodevice ncv 44nodevice nsp 45nodevice stg 46 47nodevice asr 48nodevice dpt 49nodevice iir 50nodevice mly 51 52nodevice amr 53nodevice ida 54nodevice mlx 55nodevice pst 56nodevice twe 57 58nodevice agp 59 60nodevice de 61nodevice txp 62nodevice vx 63 64nodevice dc 65nodevice pcn 66nodevice rl 67nodevice sf 68nodevice sis 69nodevice ste 70nodevice tl 71nodevice tx 72nodevice vr 73nodevice wb 74 75nodevice cs 76nodevice ed 77nodevice ex 78nodevice ep 79nodevice fe 80nodevice ie 81nodevice lnc 82nodevice sn 83nodevice xe 84 85nodevice wlan 86nodevice an 87nodevice awi 88nodevice wi 89 90nodevice uhci 91nodevice ohci 92nodevice usb 93nodevice ugen 94nodevice uhid 95nodevice ukbd 96nodevice ulpt 97nodevice umass 98nodevice ums 99nodevice urio 100nodevice uscanner 101nodevice aue 102nodevice axe 103nodevice cue 104nodevice kue 105