1# Rockchip rk30xx common options 2#$FreeBSD: releng/10.2/sys/arm/rockchip/std.rk30xx 278601 2015-02-11 22:47:48Z ian $ 3 4cpu CPU_CORTEXA 5machine arm armv6 6makeoptions CONF_CFLAGS="-march=armv7a -Wa,-march=armv7a" 7makeoption ARM_LITTLE_ENDIAN 8 9# Physical memory starts at 0x60400000. We assume images are loaded at 10# 0x60400000. 11# 12# 13options PHYSADDR=0x60000000 14 15makeoptions KERNPHYSADDR=0x60400000 16options KERNPHYSADDR=0x60400000 17 18makeoptions KERNVIRTADDR=0xc0400000 19options KERNVIRTADDR=0xc0400000 20 21options ARM_L2_PIPT 22 23options IPI_IRQ_START=0 24options IPI_IRQ_END=15 25 26files "../rockchip/files.rk30xx" 27