# SPDX-License-Identifier: MIT
define KMACHINE common-pc
define KMACHINE qemux86
define KTYPE tiny
define KARCH i386

include ktypes/tiny/tiny.scc
branch common-pc

include common-pc.scc