Finished kernel skeleton