> and I restarted the system, but at the start-up nothing happens. "Booting Kernels" in Chapter 1 of the docs should help. http://www.cs.utah.edu/flux/oskit/doc/node14.html.