Kernel is the nucleus of Piazza Corvus. It initializes the basic configuration and sets up the plugin registry. After setting up the plugin registry, it activates the plugins and extension points and then Corvus is started.
Author: Hugo Y. K. Lam
Checks whether there were any errors in the start up process of this kernel.
Returns: true if there were any errors in the start up process.