concentrate on the things that really will give you the required knowledge, forgetting about licensing bs. I don't know what is Zig, but I feel, it's also something, that won't help at least to say.

up to you anyway. like writing an OS isn't enough of challenge. learning to write system code for arm64 doesn't differ from learning the same for x86. "mobile" platforms are also personal computers, their OSs are the same as with other PCs in the core. UI differences and underlying differences in the middleware won't be your first concerns.
so thanks but lots of study means something to study, so what?
its name is ARM ARM: ARM architecture reference manual. this is one HUUUGE 455 source for "something" to study. plus, again, books on algorithms, data structures and how to write an OS and endless specifications for needed standards (UEFI, ACPI, different HCI, USB, network, file systems, executable formats etc). just like with x86. arm specific would be, apart from the mentioned ARM and following TRMs and specs (GIC, Cortexes), also TRMs for common ARM SoCs, found in SBCs like Bananas, Oranges, Pine etc. There are leaked rockchip TRMs, they will give some info on SoC internals. In short, it's the same sources as with x86. and about tools again, the same.
It's doable. I got back to my effort lately and here is my successful jump into the kernel. Exactly on arm64. It was painful in comparison with the light breeze of ia32 and x64, partly because of the overdesigned arm architecture and bizzare manual, but mostly because I made many miserable mistakes. still, it was successful.
It's Qemu, but, this code would run on real hardware too, maybe.

I don't have such, except my personal phone LG Thinq, for which renegade project hackers ported EDK2 (to run Windows). But unlike an open PC platform, it's not trivial to make a gewgle screwed mobile phone run a third party code, rearranging it to put a normal firmware and open the room for running your code is risky, so I decided to get back at it, when my OS gets a bit meatier. Personally, I'd buy a rk3588 board, for which there is EDK2 port, like Orange Pi 5 and tested on it along with the so helpful emulators, Qemu in the arm case is the saver.
