Simple kernel for ARM architecture.