At the moment, when we want to know what the composite launch configuration for the kernel would be, is to run the kernel, and log with level info or higher .
We should allow a mode in which the kernel is not run (and perhaps not even built), but the launch configuration is computed and printed to the standard output, possibly in CSV format.