/pinetime-tock

An out-of-tree port of Tock to the PineTime smart watch

Primary LanguageRustApache License 2.0Apache-2.0

PineTime Tock

An out-of-tree port of Tock to the PineTime smart watch.

PineTime Resources

Debugging (JLink)

  1. Build kernel with debug symbols

    $ make -C board/pinetime debug
  2. Start JLink GDB server in a seperate shell

    $ ./scripts/start_gdb_server_jlink.sh
  3. Debug with arm-none-eabi-gdb

    $ ./scripts/gdb.sh
    # Alternatively, debug with `cgdb` TUI interface
    $ ./scripts/cgdb.sh