# SPDX-License-Identifier: MIT
define KMACHINE qemumicroblazeel
define KTYPE standard
define KARCH microblaze

include ktypes/standard/standard.scc

include arch/microblaze/microblaze.scc
kconf hardware qemumicroblazeel.cfg

include bsp/xilinx/soc/drivers-softip.scc
include bsp/xilinx/board-common.scc

# default policy for standard kernels
include features/profiling/profiling.scc