Configure - thingsee/thingsee-sdk GitHub Wiki
Configure Thingsee OS for JTAG Debugging
Install kconfig-frontends (required by menuconfig)
$ sudo apt install gperf libncurses5-dev flex bison
$ git clone https://[email protected]/nuttx/tools.git tools
$ cd tools/kconfig-frontends/
$ ./configure --enable-mconf --disable-gconf --disable-qconf
$ make
$ sudo make install
$ sudo ldconfig
Configure
$ make menuconfig
System Type --->
[*] Disable IDLE Sleep (WFI) in debug mode
[*] Keep core clock enabled in IDLE Sleep (WFI) for debugging
Board Selection --->
[*] Disable use of very low power Deep Sleep mode
Save to .config and Exit
$ cp -rp configs/haltian-tsone/retail configs/haltian-tsone/jtag
$ cp .config configs/haltian-tsone/jtag/defconfig
Compile
$ cd tools
$ ./configure.sh haltian-tsone/jtag
$ cd ..
$ make context
$ make