zx128: platform_discard hook

diff --git a/Kernel/platform-zx128/config.h b/Kernel/platform-zx128/config.h
index 06e9c32..9c90633 100644 (file)
--- a/Kernel/platform-zx128/config.h
+++ b/Kernel/platform-zx128/config.h
@@ -76,3 +76,5 @@
 
 /* All our pages get mapped into the top 16K bank for swapping use */
 #define swap_map(x)            ((uint8_t *)(x|0xC000))
+
+#define platform_discard()