diff --git a/support/tock_support_cif.h b/support/tock_support_cif.h
index afd0913..363b00d 100644
--- a/support/tock_support_cif.h
+++ b/support/tock_support_cif.h
@@ -105,6 +105,7 @@ static void tock_tlp_output (Workspace wptr) {
 			case 1: {
 				bool b;
 				ChanIn (wptr, kill, &b, sizeof b);
+				fflush (out);
 
 				return;
 			}