Hitex bietet Debugsupport für die ARM Cortex-M3-basierte EFM32-Gecko-Familie, die von Energy Micro nach eigener Angabe als weltweit energieeffizienteste Mikrocontroller vorgestellt wurden. Der JTAG-Debugger „Tantino for Cortex“ unterstützt das vom EFM32 angebotene 2-pin Serial Wire Debug (SWD) und stellt die komplette Run-Control-Funktionalität wie Breakpoints, Watchpoints und Single-Step zur Verfügung. Wie alle Hitex-Tools läuft auch der Tantino unter der universellen Entwicklungsumgebung HiTOP, wodurch Flash-Programmierung, Update on Running und der Exception Assistant bereitgestellt werden.
Durch die Serial-Wire-Viewer-Funktionalität von Cortex sind erweiterte Debugmöglichkeiten wie Datentrace, Semihosting und Performance-Analyse-Funktionalität verfügbar. Dank offener Schnittstellen lassen sich in HiTOP auch zusätzliche Tools integrieren, wie z.B. der GNU Cortex Compiler. Ergänzt wird das Angebot mit RTOS-Support und mit portablen Protokoll-Stacks, die ebenfalls auf Cortex abgestimmt sind.