2 files changed, 0 insertions, 20 deletions
diff --git a/lib/embed/__errno.c b/lib/embed/__errno.c
deleted file mode 100644
index 86417a02d..000000000
--- a/lib/embed/__errno.c
+++ /dev/null
@@ -1,13 +0,0 @@
-// This file provides a version of __errno() for embedded systems that do not have one.
-// This function is needed for expressions of the form: &errno
-
-static int embed_errno;
-
-#if defined(__linux__)
-int *__errno_location(void)
-#else
-int *__errno(void)
-#endif
-{
-    return &embed_errno;
-}
diff --git a/lib/embed/abort_.c b/lib/embed/abort_.c
deleted file mode 100644
index 3051eae81..000000000
--- a/lib/embed/abort_.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <py/runtime.h>
-
-NORETURN void abort_(void);
-
-NORETURN void abort_(void) {
-    mp_raise_msg(&mp_type_RuntimeError, MP_ERROR_TEXT("abort() called"));
-}