Using the OS

Once we actually have a working kernel, information on running it will be added here!