An AArch64 toy kernel