dragon-nx32: temporary blank platform_copyright

diff --git a/Kernel/platform-dragon-nx32/config.h b/Kernel/platform-dragon-nx32/config.h
index ef2c0e0..39930d5 100644 (file)
--- a/Kernel/platform-dragon-nx32/config.h
+++ b/Kernel/platform-dragon-nx32/config.h
@@ -84,3 +84,5 @@
 /* Remember to update platform-dragon-nx32/kernel.defs to match */
 
 extern void platform_discard(void);
+
+#define platform_copyright()           /* for now */
\ No newline at end of file