diff --git a/binfmt/Kconfig b/binfmt/Kconfig
index aaf296c5b80..0575cd3694f 100644
--- a/binfmt/Kconfig
+++ b/binfmt/Kconfig
@@ -72,7 +72,7 @@ endif
 config PCODE
 	bool "Support P-Code Applications"
 	default n
-	depends on INTERPRETERS_PCODE && INTERPRETERS_PRUN && (!NUTTX_KERNEL || EXPERIMENTAL)
+	depends on INTERPRETERS_PCODE && SYSTEM_PRUN && (!NUTTX_KERNEL || EXPERIMENTAL)
 	---help---
 		Enable support for interpreted P-Code binaries.  P-Code binaries are
 		generated by the NuttX Pascal compiler.
diff --git a/binfmt/libpcode/README.txt b/binfmt/libpcode/README.txt
index 7c6ae8ff2ae..f42a4f54f68 100644
--- a/binfmt/libpcode/README.txt
+++ b/binfmt/libpcode/README.txt
@@ -74,6 +74,10 @@ Here is a simple test configuration using the NuttX simulator:
 
      CONFIG_INTERPRETERS_PCODE=y
 
+   And the P-Code runtime support:
+
+     CONFIG_SYSTEM_PRUN=y
+
    This enables building the PCODE binary format
 
      CONFIG_PCODE=y
diff --git a/binfmt/pcode.c b/binfmt/pcode.c
index 261042c8d46..bd476b4f295 100644
--- a/binfmt/pcode.c
+++ b/binfmt/pcode.c
@@ -47,7 +47,7 @@
 #include <errno.h>
 #include <debug.h>
 
-#include <apps/interpreters/prun.h>
+#include <apps/prun.h>
 
 #include <nuttx/kmalloc.h>
 #include <nuttx/poff.h>