An interface for populating a kernel selector.
The kernel preference.
Optional
The current running sessions.
The Kernel specs.
An interface for populating a kernel selector.