From abb229f5bb99460e6e964cc8488cab1faa41b3c6 Mon Sep 17 00:00:00 2001
From: Maximilian Gerhardt <maximilian.gerhardt@rub.de>
Date: Wed, 22 Jun 2022 19:34:01 +0200
Subject: [PATCH] Add detection of Xiao boards

---
 arduino-core-mbed.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/arduino-core-mbed.py b/arduino-core-mbed.py
index 2873b18..5663aba 100644
--- a/arduino-core-mbed.py
+++ b/arduino-core-mbed.py
@@ -29,7 +29,9 @@
 platform = env.PioPlatform()
 board = env.BoardConfig()
 
-FRAMEWORK_DIR = platform.get_package_dir("framework-arduino-mbed")
+is_xiao_board = board.id in ("xiaoblesense", "xiaoble")
+framework_pkg = "framework-arduino-mbed-seeed" if is_xiao_board else "framework-arduino-mbed" 
+FRAMEWORK_DIR = platform.get_package_dir(framework_pkg)
 assert os.path.isdir(FRAMEWORK_DIR)