Начнем с того, что у меня нет аппаратного отладчика JTAG.
Что я имею:
Pandaboard и последовательный USB-кабель для подключения к консоли и моему компьютеру с дистрибутивом Freebsd и GNU/Linux.
Что я ищу - удобный способ трассировки/отладки процесса загрузки внутри ядра FreeBSD (меня больше всего интересует этот фрагмент: https://github.com/freebsd/freebsd/blob/master/sys/arm/arm/locore-v6.S и https://github.com/freebsd/freebsd/blob/master/sys/arm/arm/mp_machdep.c как я собираюсь модифицировать эти файлы).