define KMACHINE microblaze
define KTYPE standard
define KARCH microblaze
include ktypes/standard/standard.scc
include bsp/xilinx/soc/microblaze.scc
# Common board drivers
include bsp/xilinx/board-common.scc
# default policy for standard kernels
include features/latencytop/latencytop.scc
include features/profiling/profiling.scc