A simple example, that includes the CMSIS core headers via the Raspberry Pi Pico SDK (done
by simpling adding `cmsis_core` to the `target_link_libraries()`)