diff --git a/Kbuild b/Kbuild
index 90fbd050995..2cbad361a00 100644
--- a/Kbuild
+++ b/Kbuild
@@ -50,7 +50,9 @@ misc/generated/sysgen/prj.mdef:	$(MDEF_FILE_PATH) \
 misc/generated/sysgen/kernel_main.c: misc/generated/sysgen/prj.mdef \
 				     kernel/microkernel/include/micro_private_types.h \
 				     kernel/microkernel/include/kernel_main.h
-	$(Q)$(srctree)/scripts/sysgen $(CURDIR)/misc/generated/sysgen/prj.mdef $(CURDIR)/misc/generated/sysgen/
+	$(Q)$(PYTHON) $(srctree)/scripts/sysgen \
+			$(CURDIR)/misc/generated/sysgen/prj.mdef \
+			$(CURDIR)/misc/generated/sysgen/
 
 define filechk_configs.c
 	(echo "/* file is auto-generated, do not modify ! */"; \