micropack: build fix

diff --git a/Kernel/include/kernel.h b/Kernel/include/kernel.h
index bbfe5a3..048ca8b 100644 (file)
--- a/Kernel/include/kernel.h
+++ b/Kernel/include/kernel.h
@@ -872,7 +872,9 @@ extern int pagemap_alloc(ptptr p);
 extern int pagemap_realloc(usize_t p);
 extern usize_t pagemap_mem_used(void);
 extern void map_init(void);
+#ifndef platform_discard
 extern void platform_discard(void);
+#endif
 extern void platform_idle(void);
 extern uint8_t rtc_secs(void);
 extern void trap_reboot(void);

diff --git a/Kernel/platform-micropack/main.c b/Kernel/platform-micropack/main.c
index 0413eca..81b3c1a 100644 (file)
--- a/Kernel/platform-micropack/main.c
+++ b/Kernel/platform-micropack/main.c
@@ -26,3 +26,9 @@ void platform_interrupt(void)
 void map_init(void)
 {
 }
+
+uint8_t platform_param(unsigned char *p)
+{
+ used(p);
+ return 0;
+}