As you are all probably aware of (I hope), I maintain an open-source port of the XNU (iPhone OS/Mac OS X) kernel to ARMv7-A (soon AArch64 and ARMv6/v5!) platforms. The kernel is very bare in its implementation and needs a lot of work. Work seems to also not be put into the proper areas, so I made this article to rectify that issue. Simple enough, I hope.