#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

config BINFMT_PCODE_STACKSIZE
	int "P-code interpreter stack size"
	default 2048
	---help---
		This is the stack size that will be used when starting P-code interpreter.

config BINFMT_PCODE_PRIORITY
	int "P-code interpreter priority"
	default 100
	---help---
		This is the task_priority that will be used when starting P-code interpreter.

config BINFMT_PCODE_VARSTACKSIZE
	int "P-code variable stack size"
	default 1024
	---help---
		This size of the P-Code variable storage area to be allocated by the
		P-Code runtime.

config BINFMT_PCODE_STRSTACKSIZE
	int "P-code string stack size"
	default 128
	---help---
		This size of the P-Code string stack area to be allocated by the
		P-Code runtime.

config BINFMT_PCODE_TEST_FS
	bool "Mount a test file system"
	depends on FS_ROMFS && !DISABLE_MOUNTPOINT
	---help---
		Mount a test file system.  This test file system was used to verify
		the P-Code binary format.

if BINFMT_PCODE_TEST_FS

config BINFMT_PCODE_TEST_DEVMINOR
	int "Test file system minor device number"
	default 0
	---help---
		The minor device number of the ROMFS block. For example, the N in
		/dev/ramN.  Used for registering the RAM block driver that will hold
		the ROMFS file system containing the P-code files to be tested.
		Default: 0

config BINFMT_PCODE_TEST_DEVPATH
	string "Test file system device Path"
	default "/dev/ram0"
	---help---
		The path to the ROMFS block driver device.  This must match
		BINFMT_PCODE_TEST_DEVMINOR.  Used for registering the RAM block
		driver that will hold the ROMFS file system containing the P-code
		files to be tested.  Default: "/dev/ram0"

config BINFMT_PCODE_TEST_MOUNTPOINT
	string "Test file system mount point"
	default "/bin"
	---help---
		Location where the test file system will be mounted

endif # BINFMT_PCODE_TEST_FS

config BINFMT_PCODE_DUMPBUFFER
	bool "Dump P-code buffers"
	default n
	depends on DEBUG_INFO
	---help---
		Dump various P-code buffers for debug purposes