// Package kernel defines some constants of the Kernel version and arch for which the code has been generated
package kernel