Simple C Tracing example, for x86 and raspberry pi pico.
Steps to build it:
export PICO_SDK_FETCH_FROM_GIT=trueorexport PICO_SDK_PATH = <path>mkdir buildcd buildcmake ..make -j 8- then copy
trace-xyyx.uf2to your pico-pi for fun!
To add a trace point, edit the metadata file. Then run xxd -i metadata > metadata.h to override the metadata.h file.
This needs more work, it is still non-functional.
To test on x86, run gcc ctf.c xyyx.c -o xyyx.c