From 15c80f65ed4250c3c2dfbe7a654b44d290edc6d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mikael=20=C3=85gren?= <mikael@tillitis.se>
Date: Thu, 10 Apr 2025 17:20:45 +0200
Subject: [PATCH] fw: Remove SET_LED syscall

SET_LED was used during development and no longer needed
---
 hw/application_fpga/fw/tk1/syscall_handler.c | 5 +----
 hw/application_fpga/fw/tk1/syscall_num.h     | 1 -
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/hw/application_fpga/fw/tk1/syscall_handler.c b/hw/application_fpga/fw/tk1/syscall_handler.c
index 8f1ddd3..3fe8cfa 100644
--- a/hw/application_fpga/fw/tk1/syscall_handler.c
+++ b/hw/application_fpga/fw/tk1/syscall_handler.c
@@ -6,8 +6,8 @@
 #include <stdint.h>
 #include <tkey/assert.h>
 #include <tkey/debug.h>
-#include <tkey/led.h>
 #include <tkey/lib.h>
+#include <tkey/tk1_mem.h>
 
 #include "partition_table.h"
 #include "preload_app.h"
@@ -75,9 +75,6 @@ int32_t syscall_handler(uint32_t number, uint32_t arg1, uint32_t arg2,
 			return -1;
 		}
 
-		return 0;
-	case TK1_SYSCALL_SET_LED:
-		led_set(arg1);
 		return 0;
 	case TK1_SYSCALL_GET_VIDPID:
 		// UDI is 2 words: VID/PID & serial. Return just the
diff --git a/hw/application_fpga/fw/tk1/syscall_num.h b/hw/application_fpga/fw/tk1/syscall_num.h
index f72d08c..f7255d6 100644
--- a/hw/application_fpga/fw/tk1/syscall_num.h
+++ b/hw/application_fpga/fw/tk1/syscall_num.h
@@ -18,7 +18,6 @@ enum syscall_num {
 	TK1_SYSCALL_PRELOAD_GET_DIGSIG = 11,
 	TK1_SYSCALL_REG_MGMT = 12,
 	TK1_SYSCALL_STATUS = 13,
-	TK1_SYSCALL_SET_LED = 30,
 };
 
 #endif