Andrew Turner a380ef6a02 Enable kernel debugging on arm64, other than GDB as it fails to build. ... Sponsored by: ABT Systems Ltd		2015-07-02 14:35:30 +00:00
..
DEFAULTS	Set MACHINE_ARCH to aarch64 for arm64	2015-04-16 19:23:08 +00:00
GENERIC	Enable kernel debugging on arm64, other than GDB as it fails to build.	2015-07-02 14:35:30 +00:00