kconf hardware intel-socfpga-64.cfg

include cfg/usb-mass-storage.scc
include features/profiling/profiling.scc
# enable the ability to run 32 bit apps
include arch/arm/32bit-compat.scc
include cfg/fs/flash_fs.scc
