diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-05-07 13:47:52 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-05-07 13:47:52 -0600 |
| commit | eb4582f416e3544ab43e51df38109ebfb4c484c0 (patch) | |
| tree | 1f0f4cb924ac0013315af2c3373ed8a839d4e645 /nuttx/binfmt/Kconfig | |
| parent | 6b0b73b36de16cec0cd9583ffbf07b33783dac61 (diff) | |
| download | nuttx-eb4582f416e3544ab43e51df38109ebfb4c484c0.tar.gz nuttx-eb4582f416e3544ab43e51df38109ebfb4c484c0.tar.bz2 nuttx-eb4582f416e3544ab43e51df38109ebfb4c484c0.zip | |
BINFMT: A framework to support a P-code binary format (a work in progress)
Diffstat (limited to 'nuttx/binfmt/Kconfig')
| -rw-r--r-- | nuttx/binfmt/Kconfig | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/nuttx/binfmt/Kconfig b/nuttx/binfmt/Kconfig index 6e5f7c251..4c99b8b2c 100644 --- a/nuttx/binfmt/Kconfig +++ b/nuttx/binfmt/Kconfig @@ -63,6 +63,25 @@ if BUILTIN source binfmt/libbuiltin/Kconfig endif +config PCODE + bool "Support P-Code Applications" + default n + depends on INTERPRETERS_PCODE + ---help--- + Enable support for interpreted P-Code binaries. P-Code binaries are + generated by the NuttX Pascal compiler. + + NOTE: You must first install and select the Pascal P-Code + interpreter before you can select this binary format. The P-Code + interpreter is in the pascal package and can also be fount in the + misc/pascal directory of the repository. Read the README.txt file + in the misc/pascal directory for more details. The correct + installation director is: apps/interpreters. + +if PCODE +source binfmt/libpcode/Kconfig +endif + endif config PIC |