# SPDX-License-Identifier: MIT
define KMACHINE qemumicroblazeel
define KTYPE tiny
define KARCH microblaze
include ktypes/tiny/tiny.scc
include arch/microblaze/microblaze.scc
kconf hardware qemumicroblazeel.cfg
include bsp/xilinx/soc/drivers-softip.scc
include bsp/xilinx/board-common.scc