diff --git a/lib/libsys/sef_gcov.c b/lib/libsys/sef_gcov.c
new file mode 100644
index 000000000..dfc4a75ef
--- /dev/null
+++ b/lib/libsys/sef_gcov.c
@@ -0,0 +1,28 @@
+
+#include "syslib.h"
+#include <assert.h>
+#include <minix/sysutil.h>
+#include <minix/gcov.h>
+
+PRIVATE sef_cb_gcov_t sef_cb_gcov = do_gcov_flush_impl;
+
+/*===========================================================================*
+ *                            do_sef_gcov_request             		     *
+ *===========================================================================*/
+PUBLIC int do_sef_gcov_request(message *m_ptr)
+{
+	if(!sef_cb_gcov)
+		return ENOSYS;
+
+	sef_cb_gcov(m_ptr);
+
+	return OK;
+}
+
+/*===========================================================================*
+ *                            sef_setcb_gcov             		     *
+ *===========================================================================*/
+PUBLIC void sef_setcb_gcov(sef_cb_gcov_t cb)
+{
+	sef_cb_gcov = cb;
+}