diff --git a/bsp/intel-x86/intel-x86-32-tiny.scc b/bsp/intel-x86/intel-x86-32-tiny.scc
new file mode 100644
index 0000000000000000000000000000000000000000..8949e4f35bbd14b4144eb4dbe9bfa1346986dfad
--- /dev/null
+++ b/bsp/intel-x86/intel-x86-32-tiny.scc
@@ -0,0 +1,8 @@
+define KMACHINE intel-x86-32
+define KTYPE tiny
+define KARCH x86
+
+include ktypes/tiny/tiny.scc
+branch intel-x86
+
+include bsp/intel-x86/intel-x86-32.scc
diff --git a/bsp/intel-x86/intel-x86-64-tiny.scc b/bsp/intel-x86/intel-x86-64-tiny.scc
new file mode 100644
index 0000000000000000000000000000000000000000..696d3fcbb9827f49b0953f5eaa33caf1eef21b4b
--- /dev/null
+++ b/bsp/intel-x86/intel-x86-64-tiny.scc
@@ -0,0 +1,7 @@
+define KMACHINE intel-x86-64
+define KTYPE tiny
+define KARCH x86
+
+include ktypes/tiny/tiny.scc
+
+include bsp/intel-x86/intel-x86-64.scc