Minimal Linux kernel module scaffold for arm64 Android GKI debugger experiments - View it on GitHub