An out-of-tree port of Tock to the PineTime smart watch
An out-of-tree port of Tock to the PineTime smart watch.
Build kernel with debug symbols
$ make -C board/pinetime debug
Start JLink GDB server in a seperate shell
$ ./scripts/start_gdb_server_jlink.sh
Debug with arm-none-eabi-gdb
$ ./scripts/gdb.sh
# Alternatively, debug with `cgdb` TUI interface
$ ./scripts/cgdb.sh