1 2 3 4 5 6 7 8
# 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