ports: Make new ports/ sub-directory and move all ports there.

This is to keep the top-level directory clean, to make it clear what is
core and what is a port, and to allow the repository to grow with new ports
in a sustainable way.

1 files changed, 2 insertions, 0 deletions

diff --git a/ports/minimal/mphalport.h b/ports/minimal/mphalport.h
new file mode 100644
index 000000000..60d68bd2d
--- /dev/null
+++ b/ports/minimal/mphalport.h
@@ -0,0 +1,2 @@
+static inline mp_uint_t mp_hal_ticks_ms(void) { return 0; }
+static inline void mp_hal_set_interrupt_char(char c) {}