A toy bare minimum rust kernel for ARM