trs80: fix missed file discard.c

diff --git a/Kernel/platform-trs80/discard.c b/Kernel/platform-trs80/discard.c
new file mode 100644 (file)
index 0000000..5da36f5
--- /dev/null
+++ b/Kernel/platform-trs80/discard.c
@@ -0,0 +1,34 @@
+#include <kernel.h>
+#include <devhd.h>
+#include <devtty.h>
+
+void device_init(void)
+{
+  vtbuf_init();
+#ifdef CONFIG_RTC
+  /* Time of day clock */
+  inittod();
+#endif
+  hd_probe();
+}
+
+void map_init(void)
+{
+}
+
+uint8_t nbanks = 1;    /* Default 1 bank, unless port 94 probe updates */
+
+void pagemap_init(void)
+{
+#ifdef CONFIG_MAP94
+ int i = nbanks - 1;
+ while (i) {
+  pagemap_add(i);      /* Mode 3, U64K low 32K mapped as low 32K */
+  pagemap_add(i|0x80); /* Mode 3, U64K high 32K mapped as low 32K */
+  i--;
+ }
+#else
+ pagemap_add(0x63);    /* Mode 3, U64K low 32K mapped as low 32K */
+ pagemap_add(0x73);    /* Mode 3, U64K high 32K mapped as low 32K */
+#endif
+}