1# $FreeBSD$ 2 3makeoption ARM_LITTLE_ENDIAN 4 5cpu CPU_CORTEXA 6machine arm armv6 7 8options PHYSADDR=0x00000000 9 10makeoptions KERNPHYSADDR=0x00f00000 11options KERNPHYSADDR=0x00f00000 12 13makeoptions KERNVIRTADDR=0xc0f00000 14options KERNVIRTADDR=0xc0f00000 15 16options ARM_L2_PIPT 17 18options IPI_IRQ_START=0 19options IPI_IRQ_END=15 20 21files "../altera/socfpga/files.socfpga" 22