1 files changed, 6 insertions, 0 deletions

diff --git a/arch/um/os-Linux/util.c b/arch/um/os-Linux/util.c
index 48bc4927b996..c307a89ed259 100644
--- a/arch/um/os-Linux/util.c
+++ b/arch/um/os-Linux/util.c
@@ -119,3 +119,9 @@ int setjmp_wrapper(void (*proc)(void *, void *), ...)
         va_end(args);
         return n;
 }
+
+void os_dump_core(void)
+{
+        signal(SIGSEGV, SIG_DFL);
+        abort();
+}