A sample device driver written for the aarch64 ISA when using C++ and WDK when learning about Windows Kernel programming - View it on GitHub