diff --git a/repos/base-sel4/mk/spec-sel4_x86_32.mk b/repos/base-sel4/mk/spec-sel4_x86_32.mk
new file mode 100644
index 000000000..42459811e
--- /dev/null
+++ b/repos/base-sel4/mk/spec-sel4_x86_32.mk
@@ -0,0 +1,8 @@
+#
+# Specifics for the seL4 kernel API x86 32 bit
+#
+
+SPECS += sel4 x86_32
+
+include $(call select_from_repositories,mk/spec-x86_32.mk)
+include $(call select_from_repositories,mk/spec-sel4.mk)
diff --git a/tool/builddir/etc/build.conf.sel4_x86_32 b/tool/builddir/etc/build.conf.sel4_x86_32
new file mode 100644
index 000000000..6b0a50512
--- /dev/null
+++ b/tool/builddir/etc/build.conf.sel4_x86_32
@@ -0,0 +1,7 @@
+REPOSITORIES  = $(GENODE_DIR)/repos/base-sel4
+
+##
+## Kernel-specific run tool configuration
+##
+RUN_OPT = --include boot_dir/sel4 \
+          --include power_on/qemu --include log/qemu --include image/iso
diff --git a/tool/create_builddir b/tool/create_builddir
index 31f755564..69b88d326 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -45,6 +45,7 @@ usage:
 	@echo "                  'foc_vea9x4'"
 	@echo "                  'foc_panda'"
 	@echo "                  'foc_arndale'"
+	@echo "                  'sel4_x86_32'"
 	@echo "                  'lx_hybrid_x86'"
 	@echo
 	@echo "  The definition of BUILD_DIR is optional. If specified,"
@@ -151,7 +152,7 @@ endif
 #
 # Add x86 drivers repositories to x86 build directories
 #
-ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86 hw_x86_64,$(PLATFORM)),)
+ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86 hw_x86_64 sel4_x86_32,$(PLATFORM)),)
 $(BUILD_DIR)/etc/build.conf::
 	@cat $(BUILD_CONF).drivers_x86 >> $@
 endif
@@ -193,6 +194,10 @@ nova_x86_64::
 	@echo "SPECS = genode nova_x86_64" > $(BUILD_DIR)/etc/specs.conf
 	@echo "SPECS += acpi"             >> $(BUILD_DIR)/etc/specs.conf
 
+sel4_x86_32::
+	@echo "SPECS  = genode sel4_x86_32" > $(BUILD_DIR)/etc/specs.conf
+	@echo "SPECS += acpi"              >> $(BUILD_DIR)/etc/specs.conf
+
 foc_pbxa9::
 	@echo "SPECS = genode foc_pbxa9" > $(BUILD_DIR)/etc/specs.conf