From 44b7aa2e8b7c6dc15d8c9f92589666ba5cec4b72 Mon Sep 17 00:00:00 2001
From: startrekdude <cheesedude54321@gmail.com>
Date: Fri, 21 Jul 2023 16:02:46 -0400
Subject: [PATCH] Add a tagType for Seos cards to SimulateIso14443aInit

These values were observed from a standard-keyed 4K Seos card.
---
 armsrc/iso14443a.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/armsrc/iso14443a.c b/armsrc/iso14443a.c
index 62baab9fc..c47339497 100644
--- a/armsrc/iso14443a.c
+++ b/armsrc/iso14443a.c
@@ -1165,6 +1165,10 @@ bool SimulateIso14443aInit(uint8_t tagType, uint16_t flags, uint8_t *data, tag_r
             sak = 0x20;
         }
         break;
+        case 12: { // HID Seos 4K card
+            rATQA[0] = 0x01;
+            sak = 0x20;
+        }
 
         default: {
             if (g_dbglevel >= DBG_ERROR) Dbprintf("Error: unknown tagtype (%d)", tagType);