Index: defaults/arm64/Makefile.config
===================================================================
--- defaults/arm64/Makefile.config	(revision 86afbdba227b153ddf1b8a7690fdcfad5ba22c48)
+++ defaults/arm64/Makefile.config	(revision 86afbdba227b153ddf1b8a7690fdcfad5ba22c48)
@@ -0,0 +1,50 @@
+# Platform
+PLATFORM = arm64
+
+# Ramdisk format
+RDFMT = ext4fs
+
+# Compiler
+COMPILER = gcc_cross
+
+# In case compiler is clang, whether or not to use its integrated assembler.
+INTEGRATED_AS = default
+
+# Debug build
+CONFIG_DEBUG = y
+
+# Deadlock detection support for spinlocks
+CONFIG_DEBUG_SPINLOCK = y
+
+# Support for SMP
+CONFIG_SMP = y
+
+# Lazy FPU context switching
+CONFIG_FPU_LAZY = y
+
+# Support for userspace debuggers
+CONFIG_UDEBUG = y
+
+# Kernel console support
+CONFIG_KCONSOLE = y
+
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
+# Detailed kernel logging
+CONFIG_LOG = n
+
+# Kernel function tracing
+CONFIG_TRACE = n
+
+# Compile kernel tests
+CONFIG_TEST = y
+
+# Input device class
+CONFIG_HID_IN = generic
+
+# Output device class
+CONFIG_HID_OUT = generic
+
+# Optimization level
+OPTIMIZATION = 3
Index: defaults/arm64/output
===================================================================
--- defaults/arm64/output	(revision 86afbdba227b153ddf1b8a7690fdcfad5ba22c48)
+++ defaults/arm64/output	(revision 86afbdba227b153ddf1b8a7690fdcfad5ba22c48)
@@ -0,0 +1,1 @@
+image.iso
Index: defaults/arm64/virt/Makefile.config
===================================================================
--- defaults/arm64/virt/Makefile.config	(revision 86afbdba227b153ddf1b8a7690fdcfad5ba22c48)
+++ defaults/arm64/virt/Makefile.config	(revision 86afbdba227b153ddf1b8a7690fdcfad5ba22c48)
@@ -0,0 +1,2 @@
+# Machine type
+MACHINE = virt