// Package main is a placeholder so that the packer can find the kernel in this directory.
package main