diff --git a/hw/application_fpga/application_fpga.bin.sha256 b/hw/application_fpga/application_fpga.bin.sha256
index e048558..f777369 100644
--- a/hw/application_fpga/application_fpga.bin.sha256
+++ b/hw/application_fpga/application_fpga.bin.sha256
@@ -1 +1 @@
-d2970828269b3ba7f09fb73b8592b08814dfe8c8087b00b0659feb516bb00f33  application_fpga.bin
+84de63425720086b1a576e40d71a4a41eec5502736b732f4992d8f21829aec3e  application_fpga.bin
diff --git a/hw/application_fpga/firmware.bin.sha512 b/hw/application_fpga/firmware.bin.sha512
index 71e2a45..845a4dd 100644
--- a/hw/application_fpga/firmware.bin.sha512
+++ b/hw/application_fpga/firmware.bin.sha512
@@ -1 +1 @@
-3769540390ee3d990ea3f9e4cc9a0d1af5bcaebb82218185a78c39c6bf01d9cdc305ba253a1fb9f3f9fcc63d97c8e5f34bbb1f7bec56a8f246f1d2239867b623  firmware.bin
+aad49235ab60b732a45bbedf5774c543df1b40d52b226ffc41bc6c3e2dbbb3963e810f0a52ccf7ba4689b414f1cb941076b896a47d2377fb61c1976bdbcebe17  firmware.bin
diff --git a/hw/application_fpga/fw/tk1/assert.c b/hw/application_fpga/fw/tk1/assert.c
index 43628ae..adce820 100644
--- a/hw/application_fpga/fw/tk1/assert.c
+++ b/hw/application_fpga/fw/tk1/assert.c
@@ -20,6 +20,9 @@ void assert_fail(const char *assertion, const char *file, unsigned int line,
 	htif_puts(function);
 	htif_lf();
 
-	forever_redflash();
+	// Force illegal instruction to halt CPU
+	asm volatile("unimp");
+
 	// Not reached
+	__builtin_unreachable();
 }
diff --git a/hw/application_fpga/fw/tk1/main.c b/hw/application_fpga/fw/tk1/main.c
index 99f447f..2aa6240 100644
--- a/hw/application_fpga/fw/tk1/main.c
+++ b/hw/application_fpga/fw/tk1/main.c
@@ -431,7 +431,7 @@ int main()
 			htif_puts("firmware state 0x");
 			htif_puthex(state);
 			htif_lf();
-			forever_redflash();
+			assert(1 == 2);
 			break; // Not reached
 		}
 	}