diff --git a/targets/mbedos5/mbed-os.lib b/targets/mbedos5/mbed-os.lib
index 3a2efff6b..f827c355f 100644
--- a/targets/mbedos5/mbed-os.lib
+++ b/targets/mbedos5/mbed-os.lib
@@ -1 +1 @@
-https://github.com/ARMmbed/mbed-os/#8d21974ba35e04c4854e5090c0f8283171664175
+https://github.com/ARMmbed/mbed-os/#db4be94693c3a873cfa0c025a5ad2e62b86a8474
diff --git a/targets/mbedos5/source/jerry_port_mbed.c b/targets/mbedos5/source/jerry_port_mbed.c
index adaca5d2f..3e225b013 100644
--- a/targets/mbedos5/source/jerry_port_mbed.c
+++ b/targets/mbedos5/source/jerry_port_mbed.c
@@ -45,15 +45,6 @@ jerry_port_log (jerry_log_level_t level, /**< log level */
 } /* jerry_port_log */
 #endif /* JSMBED_OVERRIDE_JERRY_PORT_LOG */
 
-/**
- * Implementation of jerry_port_fatal.
- */
-void
-jerry_port_fatal (jerry_fatal_code_t code) /**< fatal code enum item */
-{
-  exit (code);
-} /* jerry_port_fatal */
-
 /**
  * Implementation of jerry_port_get_time_zone.
  *
diff --git a/targets/mbedos5/template-mbedignore.txt b/targets/mbedos5/template-mbedignore.txt
index d60ed0996..73e0f64db 100644
--- a/targets/mbedos5/template-mbedignore.txt
+++ b/targets/mbedos5/template-mbedignore.txt
@@ -3,7 +3,6 @@ docs/*
 jerry-libc/*
 jerry-main/*
 jerry-port/default/default-date.c
-jerry-port/default/default-fatal.c
 jerry-port/default/default-io.c
 targets/*
 tests/*