Index: defaults/riscv64/Makefile.config
===================================================================
--- defaults/riscv64/Makefile.config	(revision 67f11a04d9b9007cff6be59c182bd35c4f3ee076)
+++ defaults/riscv64/Makefile.config	(revision 67f11a04d9b9007cff6be59c182bd35c4f3ee076)
@@ -0,0 +1,44 @@
+# Platform
+PLATFORM = riscv64
+
+# 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
+
+# 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
+
+# Kernel RCU implementation
+RCU = PREEMPT_A
+
+# What is your input device?
+CONFIG_HID_IN = generic
+
+# What is your output device?
+CONFIG_HID_OUT = generic
+
+# Optimization level
+OPTIMIZATION = 3