diff --git a/hw/application_fpga/fw/tk1/main.c b/hw/application_fpga/fw/tk1/main.c
index 74538e3..d6a460a 100644
--- a/hw/application_fpga/fw/tk1/main.c
+++ b/hw/application_fpga/fw/tk1/main.c
@@ -440,6 +440,8 @@ static int compute_app_digest(uint8_t *digest)
 
 static enum state start_where(struct context *ctx)
 {
+	assert(ctx != NULL);
+
 	// Where do we start? Read resetinfo 'startfrom'
 	switch (resetinfo->type) {
 	case START_DEFAULT: