Index: defaults/arm32/gta02/Makefile.config
===================================================================
--- defaults/arm32/gta02/Makefile.config	(revision adf6607dcc2f9ef8d0f5dddbcb36741ead679fb4)
+++ defaults/arm32/gta02/Makefile.config	(revision adf6607dcc2f9ef8d0f5dddbcb36741ead679fb4)
@@ -0,0 +1,23 @@
+# Machine type
+MACHINE = gta02
+
+# RAM disk format
+RDFMT = tmpfs
+
+# Support for userspace debuggers
+CONFIG_UDEBUG = n
+
+# Kernel console support
+CONFIG_KCONSOLE = n
+
+# Kernel symbol information
+CONFIG_SYMTAB = n
+
+# Compile kernel tests
+CONFIG_TEST = n
+
+# Framebuffer support
+CONFIG_FB = n
+
+# Barebone build with essential binaries only
+CONFIG_BAREBONE = y