process: add a hook for platform level knowledge of discard discarding

diff --git a/Kernel/process.c b/Kernel/process.c
index 0020d74..346227e 100644 (file)
--- a/Kernel/process.c
+++ b/Kernel/process.c
@@ -636,6 +636,7 @@ void panic(char *deathcry)
 void exec_or_die(void)
 {
        kputs("Starting /init\n");
+       platform_discard();
        _execve();
        panic("no /init");      /* BIG Trouble if we Get Here!! */
 }