Gets the parameters used for the temp files (e.e. cells) for a kernel.
The kernel name from current session.
Sets the hash parameters for a kernel.
Hashing parameters for a kernel.
Sets the parameters used for the temp files (e.g. cells) for a kernel.
Temporary file prefix and suffix for a kernel.
Debugger file and hashing configuration.