Changes from MK83 to the UK02-freeze branch

This page contains a brief, high-level outline of the major changes made so far in the "UK02" branch, with respect to CMU's MK83 kernel which it is based on. For a more detailed list of what changed and when, see the ChangeLog files in the source trees.