5 makeoptions CONF_CFLAGS="-march=armv7a"
7 # Physical memory starts at 0x80000000. We assume the kernel is loaded
8 # at 0x80100000 by u-boot (which doesn't support ubldr since it's missing
9 # CONFIG_API). The kernel must be supplied as a binary since u-boot is
10 # also missing CONFIG_CMD_ELF.
13 options KERNVIRTADDR=0xc0100000 # Used in ldscript.arm
14 makeoptions KERNVIRTADDR=0xc0100000
18 files "../amlogic/aml8726/files.aml8726"
20 # Set all global interrupts to be edge triggered, active high.
21 options GIC_DEFAULT_ICFGR_INIT=0xffffffff
23 options IPI_IRQ_START=0
24 options IPI_IRQ_END=15
27 #options SOCDEV_PA=0xc8100000
28 #options SOCDEV_VA=0xd8100000