ppc64: Don't set Kp bit on SLB
[openbios.git] / drivers / Kconfig
blob7be334b1cd040f42191bc46631844ce0be802ec4
3 menu "Drivers"
5 config DRIVER_PCI
6         bool "PCI driver"
7         default y
8         help
9           Builtin PCI driver
11 config DEBUG_PCI
12         bool "Debug PCI driver"
13         default n
14         help
15           Debug PCI driver
16           
17 config DRIVER_IDE
18         depends X86 || AMD64 || PPC
19         bool "Legacy IDE"
20         default y
21         help
22           If you want to be able to boot from IDE, enable this option.
24 config IDE_NUM_CHANNELS
25         depends DRIVER_IDE
26         int "Number of IDE channels to be probed"
27         default 4
28         help
29           Number of IDE channels to be probed. This should be set to
30           one or two if you build OpenBIOS for the Total Impact BRIQ.
32 config DEBUG_IDE
33         depends DRIVER_IDE
34         bool "Debug IDE driver"
35         default n
36         help
37           Debug IDE driver 
38         
39 endmenu