3 files changed, 5 insertions, 4 deletions
diff --git a/windows/mpconfigport.h b/windows/mpconfigport.h
index ce5783c9c1..01e066500a 100644
--- a/windows/mpconfigport.h
+++ b/windows/mpconfigport.h
@@ -156,7 +156,7 @@ extern const struct _mp_obj_module_t mp_module_time;
 
 #define MP_STATE_PORT               MP_STATE_VM
 
-#define MICROPY_HAL_H               "windows_mphal.h"
+#define MICROPY_MPHALPORT_H         "windows_mphal.h"
 
 // We need to provide a declaration/definition of alloca()
 #include <malloc.h>
diff --git a/windows/windows_mphal.c b/windows/windows_mphal.c
index 2a803f1089..702efa4960 100644
--- a/windows/windows_mphal.c
+++ b/windows/windows_mphal.c
@@ -26,8 +26,8 @@
 
 
 #include "py/mpstate.h"
+#include "py/mphal.h"
 
-#include MICROPY_HAL_H
 #include <windows.h>
 #include <unistd.h>
 
@@ -170,11 +170,11 @@ int mp_hal_stdin_rx_chr(void) {
     }
 }
 
-void mp_hal_stdout_tx_strn(const char *str, mp_uint_t len) {
+void mp_hal_stdout_tx_strn(const char *str, size_t len) {
     write(1, str, len);
 }
 
-void mp_hal_stdout_tx_strn_cooked(const char *str, mp_uint_t len) {
+void mp_hal_stdout_tx_strn_cooked(const char *str, size_t len) {
     mp_hal_stdout_tx_strn(str, len);
 }
 
diff --git a/windows/windows_mphal.h b/windows/windows_mphal.h
index 8173d93eca..c36889dcbb 100644
--- a/windows/windows_mphal.h
+++ b/windows/windows_mphal.h
@@ -24,6 +24,7 @@
  * THE SOFTWARE.
  */
 
+#include "sleep.h"
 #include "unix/unix_mphal.h"
 
 #define MICROPY_HAL_HAS_VT100 (0)