dragon-nx32: add platform_discard stub

diff --git a/Kernel/platform-dragon-nx32/config.h b/Kernel/platform-dragon-nx32/config.h
index 6f77656..424434d 100644 (file)
--- a/Kernel/platform-dragon-nx32/config.h
+++ b/Kernel/platform-dragon-nx32/config.h
@@ -68,3 +68,6 @@
 #define NBUFS    6       /* Number of block buffers */
 #define NMOUNTS         2        /* Number of mounts at a time */
 #define swap_map(x)    ((uint8_t *)(x))
+
+#define platform_discard()
+