# SPDX-License-Identifier: MIT
define KMACHINE intel-x86-64
define KTYPE tiny
define KARCH x86_64

include ktypes/tiny/tiny.scc

include bsp/intel-x86/intel-x86-64.scc