|
@@ -1,5 +1,5 @@
|
|
|
menu "Platform support"
|
|
|
- depends on PPC64 || CLASSIC32 || PPC_86xx
|
|
|
+ depends on PPC64 || CLASSIC32 || PPC_83xx || PPC_86xx
|
|
|
|
|
|
choice
|
|
|
prompt "Machine type"
|
|
@@ -45,6 +45,7 @@ source "arch/powerpc/platforms/pasemi/Kconfig"
|
|
|
source arch/powerpc/platforms/celleb/Kconfig
|
|
|
source arch/powerpc/platforms/ps3/Kconfig
|
|
|
source arch/powerpc/platforms/cell/Kconfig
|
|
|
+source "arch/powerpc/platforms/83xx/Kconfig"
|
|
|
source "arch/powerpc/platforms/86xx/Kconfig"
|
|
|
|
|
|
config PPC_NATIVE
|