| @@ -1,27 +1,27 @@ | | | @@ -1,27 +1,27 @@ |
1 | # $NetBSD: std.mpc85xx,v 1.3 2011/05/02 01:45:26 matt Exp $ | | 1 | # $NetBSD: std.mpc85xx,v 1.4 2011/05/28 00:01:43 matt Exp $ |
2 | # | | 2 | # |
3 | # Standard/required options for NetBSD/mpc85xx. | | 3 | # Standard/required options for NetBSD/mpc85xx. |
4 | | | 4 | |
5 | machine evbppc powerpc | | 5 | machine evbppc powerpc |
6 | include "conf/std" # MI standard options | | 6 | include "conf/std" # MI standard options |
7 | | | 7 | |
8 | # standard ("mandatory") kernel options. | | 8 | # standard ("mandatory") kernel options. |
9 | options PPC_BOOKE # Freescale e500 family | | 9 | options PPC_BOOKE # Freescale e500 family |
10 | options EVBPPC_HAS_MBR # Use MBR format (needed for SDCARD booting) | | 10 | options EVBPPC_HAS_MBR # Use MBR format (needed for SDCARD booting) |
11 | | | 11 | |
12 | # Executable support: | | 12 | # Executable support: |
13 | options EXEC_ELF32 # (native) ELF32 binary support | | 13 | options EXEC_ELF32 # (native) ELF32 binary support |
14 | options EXEC_SCRIPT # shell script support | | 14 | options EXEC_SCRIPT # shell script support |
15 | | | 15 | |
16 | makeoptions TEXTADDR=0x20000 | | 16 | makeoptions TEXTADDR=0x20000 |
17 | makeoptions BOARDTYPE="mpc85xx" | | 17 | makeoptions BOARDTYPE="mpc85xx" |
18 | makeoptions PPCDIR="booke" | | 18 | makeoptions PPCDIR="booke" |
19 | makeoptions NEEDS_MDSETIMAGE="yes" | | 19 | makeoptions NEED_MDSETIMAGE="yes" |
20 | | | 20 | |
21 | options PPC_INTR_IMPL="<powerpc/booke/intr.h>" | | 21 | options PPC_INTR_IMPL="<powerpc/booke/intr.h>" |
22 | options PPC_PCI_MACHDEP_IMPL="<powerpc/pci_machdep.h>" | | 22 | options PPC_PCI_MACHDEP_IMPL="<powerpc/pci_machdep.h>" |
23 | options KERNBASE=0x20000 | | 23 | options KERNBASE=0x20000 |
24 | options GUR_BASE=0xe0000000 | | 24 | options GUR_BASE=0xe0000000 |
25 | | | 25 | |
26 | include "arch/powerpc/conf/files.booke" | | 26 | include "arch/powerpc/conf/files.booke" |
27 | include "arch/evbppc/conf/files.mpc85xx" | | 27 | include "arch/evbppc/conf/files.mpc85xx" |