#$FreeBSD$
ARM9_CACHE_WRITE_THROUGH	opt_global.h
ARM_CACHE_LOCK_ENABLE	opt_global.h
ARMFPE			opt_global.h
ARM_KERN_DIRECTMAP	opt_vm.h
ARM_MANY_BOARD		opt_global.h
ARM_USE_SMALL_ALLOC	opt_global.h
COUNTS_PER_SEC		opt_timer.h
CPU_SA1100		opt_global.h
CPU_SA1110		opt_global.h
CPU_ARM9		opt_global.h
CPU_ARM9E		opt_global.h
CPU_XSCALE_80219	opt_global.h
CPU_XSCALE_80321	opt_global.h
CPU_XSCALE_81342	opt_global.h
CPU_XSCALE_IXP425	opt_global.h
CPU_XSCALE_IXP435	opt_global.h
CPU_XSCALE_PXA2X0	opt_global.h
FLASHADDR		opt_global.h
FREEBSD_BOOT_LOADER	opt_global.h
IXP4XX_FLASH_SIZE	opt_global.h
KERNPHYSADDR		opt_global.h
KERNVIRTADDR		opt_global.h
LINUX_BOOT_ABI		opt_global.h
LOADERRAMADDR		opt_global.h
PHYSADDR		opt_global.h
QEMU_WORKAROUNDS	opt_global.h
SOC_MV_DISCOVERY	opt_global.h
SOC_MV_KIRKWOOD		opt_global.h
SOC_MV_ORION		opt_global.h
STARTUP_PAGETABLE_ADDR	opt_global.h
XSCALE_CACHE_READ_WRITE_ALLOCATE	opt_global.h
XSACLE_DISABLE_CCNT	opt_timer.h
VERBOSE_INIT_ARM	opt_global.h
AT91_ATE_USE_RMII	opt_at91.h
AT91_MCI_HAS_4WIRE	opt_at91.h
AT91_MCI_SLOT_B		opt_at91.h
AT91C_MAIN_CLOCK	opt_at91.h
CPU_FA526		opt_global.h
CPU_FA626TE		opt_global.h