Proper support for registering builtin modules in ROM.

Comes with some refactoring of code and renaming of files.  All modules
are now named mod*.[ch].

1 files changed, 0 insertions, 1 deletions

diff --git a/stmhal/osmodule.h b/stmhal/osmodule.h
deleted file mode 100644
index e3c13f756..000000000
--- a/stmhal/osmodule.h
+++ /dev/null
@@ -1 +0,0 @@
-extern const mp_obj_module_t os_module;