Building debug libmbed.a

Doing a clean build... I removed both the mbed directory under hardware as well as the directory /tmp/mbed-os-program

EDIT:
Some initial steps

sudo apt install gcc-arm-none-eabi
sudo apt install python3-poetry
sudo apt install python3 python3-pip git mercurial jq

git clone --depth 1 https://github.com/arduino/ArduinoCore-mbed.git mbed
<git the API stuff and create link>
cd mbed
poetry init
Edit file pyproject.toml to add a line:  
Note: appears like this is not needed on RaspberryPi and will give you errors.
`package-mode = false`

poetry add mbed-tools
poetry add mbed-cli
poetry add setuptools
poetry install (did not do anything)
poetry shell
./mbed-os-to-arduino -a -g GIGA:GIGA

And it built...

Compile [ 99.6%]: serial_api.c
Compile [ 99.7%]: trng_api.c
Compile [ 99.8%]: us_ticker.c
Compile [ 99.9%]: watchdog_api.c
Compile [100.0%]: stm_spi_api.c
 done.
Generating defines... done.
Generating includes... copying to destination... /tmp/mbed-os-program
 done.
Generating libs... done.
Generating flags...Patching '-fno-exceptions' flag for /home/kurte/Arduino/hardware/arduino-git/mbed/variants/GIGA/cflags.txt
Adding PDM section to /home/kurte/Arduino/hardware/arduino-git/mbed/variants/GIGA/linker_script.ld
Patching linker scripts
Patching '-fno-exceptions' flag for /home/kurte/Arduino/hardware/arduino-git/mbed/variants/GIGA/cxxflags.txt
Patching linker scripts
Patching '-fno-exceptions' flag for /home/kurte/Arduino/hardware/arduino-git/mbed/variants/GIGA/ldflags.txt
Patching linker scripts
 done.
Copying generic MbedOS headers to core...  done.
Patching 'mbed.h'... done.
Patching SPI headers... done.

[mbed-os-to-arduino] MbedOS core generation ended succesfully.

Now to play

EDIT: Fix for using the generic CMSIS-DAP adapter by Alex Taradov on Ubuntu

Fix for @wwatson building on RPI5 with Ubuntu 24.04 to downgrade pyelftools
Also maybe needed for RaspberryPI OS

Side Note: I was also able to build it using WSL on my Windows 11 machine, and was able to copy out the updated directory to a location that could be seen by Arduino 2.3.3 in my sketch folder.