8. Rebooting

Congratulations! You're done! You can now reboot into the TimeSys Linux/GPL kernel.