dragon-nx-32: fix warning

diff --git a/Kernel/platform-dragon-nx32/config.h b/Kernel/platform-dragon-nx32/config.h
index 5444f6c..72e08f8 100644 (file)
--- a/Kernel/platform-dragon-nx32/config.h
+++ b/Kernel/platform-dragon-nx32/config.h
@@ -72,3 +72,4 @@
 
 /* Remember to update platform-dragon-nx32/kernel.defs to match */
 
+extern void platform_discard(void);