]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/conf/options.powerpc
Correct PCI device ID for XHCI USB controller.
[FreeBSD/FreeBSD.git] / sys / conf / options.powerpc
1 # $FreeBSD$
2 # Options specific to the powerpc platform kernels
3
4 AIM                     opt_global.h
5 BOOKE                   opt_global.h
6 BOOKE_E500              opt_global.h
7 BOOKE_PPC4XX            opt_global.h
8 CELL
9
10 POWERPC
11 POWERPC64
12 POWERPCSPE
13
14 FPU_EMU
15
16 COMPAT_FREEBSD32        opt_global.h
17
18 GFB_DEBUG               opt_gfb.h
19 GFB_NO_FONT_LOADING     opt_gfb.h
20 GFB_NO_MODE_CHANGE      opt_gfb.h
21
22 MOEA64_STATS            opt_pmap.h
23 MPC85XX                 opt_platform.h
24 POWERMAC                opt_platform.h
25 PS3                     opt_platform.h
26 MAMBO
27 POWERNV                 opt_platform.h
28 PSERIES
29 PSIM
30
31 SC_OFWFB                opt_ofwfb.h
32
33 OFWCONS_POLL_HZ         opt_ofw.h
34
35 # AGP debugging support
36 AGP_DEBUG               opt_agp.h
37
38 MIKROTIK