first commit

.gitignore

@@ -0,0 +1,3 @@
+/.DS_Store
+/.vscode
+/build

CMakeLists.txt

@@ -0,0 +1,24 @@
+# What CMake to start at
+cmake_minimum_required(VERSION 3.12)
+
+# Include the subsidiary .cmake file to get the SDK
+include(pico_sdk_import.cmake)
+
+# Set the name and version of the project
+project(pico-picoemp-test-target VERSION 1.0.0)
+
+# Link the Project to a source file (step 4.6)
+add_executable(pico-picoemp-test-target source.c)
+
+# Link the Project to an extra library (pico_stdlib)
+target_link_libraries(pico-picoemp-test-target pico_stdlib)
+
+# Initalise the SDK
+pico_sdk_init()
+
+# enable usb output, disable uart output
+pico_enable_stdio_usb(pico-picoemp-test-target 1)
+pico_enable_stdio_uart(pico-picoemp-test-target 0)
+
+# Enable extra outputs (SWD?)
+pico_add_extra_outputs(pico-picoemp-test-target)

pico_sdk_import.cmake

@@ -0,0 +1,73 @@
+# This is a copy of <PICO_SDK_PATH>/external/pico_sdk_import.cmake
+
+# This can be dropped into an external project to help locate this SDK
+# It should be include()ed prior to project()
+
+if (DEFINED ENV{PICO_SDK_PATH} AND (NOT PICO_SDK_PATH))
+    set(PICO_SDK_PATH $ENV{PICO_SDK_PATH})
+    message("Using PICO_SDK_PATH from environment ('${PICO_SDK_PATH}')")
+endif ()
+
+if (DEFINED ENV{PICO_SDK_FETCH_FROM_GIT} AND (NOT PICO_SDK_FETCH_FROM_GIT))
+    set(PICO_SDK_FETCH_FROM_GIT $ENV{PICO_SDK_FETCH_FROM_GIT})
+    message("Using PICO_SDK_FETCH_FROM_GIT from environment ('${PICO_SDK_FETCH_FROM_GIT}')")
+endif ()
+
+if (DEFINED ENV{PICO_SDK_FETCH_FROM_GIT_PATH} AND (NOT PICO_SDK_FETCH_FROM_GIT_PATH))
+    set(PICO_SDK_FETCH_FROM_GIT_PATH $ENV{PICO_SDK_FETCH_FROM_GIT_PATH})
+    message("Using PICO_SDK_FETCH_FROM_GIT_PATH from environment ('${PICO_SDK_FETCH_FROM_GIT_PATH}')")
+endif ()
+
+set(PICO_SDK_PATH "${PICO_SDK_PATH}" CACHE PATH "Path to the Raspberry Pi Pico SDK")
+set(PICO_SDK_FETCH_FROM_GIT "${PICO_SDK_FETCH_FROM_GIT}" CACHE BOOL "Set to ON to fetch copy of SDK from git if not otherwise locatable")
+set(PICO_SDK_FETCH_FROM_GIT_PATH "${PICO_SDK_FETCH_FROM_GIT_PATH}" CACHE FILEPATH "location to download SDK")
+
+if (NOT PICO_SDK_PATH)
+    if (PICO_SDK_FETCH_FROM_GIT)
+        include(FetchContent)
+        set(FETCHCONTENT_BASE_DIR_SAVE ${FETCHCONTENT_BASE_DIR})
+        if (PICO_SDK_FETCH_FROM_GIT_PATH)
+            get_filename_component(FETCHCONTENT_BASE_DIR "${PICO_SDK_FETCH_FROM_GIT_PATH}" REALPATH BASE_DIR "${CMAKE_SOURCE_DIR}")
+        endif ()
+        # GIT_SUBMODULES_RECURSE was added in 3.17
+        if (${CMAKE_VERSION} VERSION_GREATER_EQUAL "3.17.0")
+            FetchContent_Declare(
+                    pico_sdk
+                    GIT_REPOSITORY https://github.com/raspberrypi/pico-sdk
+                    GIT_TAG master
+                    GIT_SUBMODULES_RECURSE FALSE
+            )
+        else ()
+            FetchContent_Declare(
+                    pico_sdk
+                    GIT_REPOSITORY https://github.com/raspberrypi/pico-sdk
+                    GIT_TAG master
+            )
+        endif ()
+
+        if (NOT pico_sdk)
+            message("Downloading Raspberry Pi Pico SDK")
+            FetchContent_Populate(pico_sdk)
+            set(PICO_SDK_PATH ${pico_sdk_SOURCE_DIR})
+        endif ()
+        set(FETCHCONTENT_BASE_DIR ${FETCHCONTENT_BASE_DIR_SAVE})
+    else ()
+        message(FATAL_ERROR
+                "SDK location was not specified. Please set PICO_SDK_PATH or set PICO_SDK_FETCH_FROM_GIT to on to fetch from git."
+                )
+    endif ()
+endif ()
+
+get_filename_component(PICO_SDK_PATH "${PICO_SDK_PATH}" REALPATH BASE_DIR "${CMAKE_BINARY_DIR}")
+if (NOT EXISTS ${PICO_SDK_PATH})
+    message(FATAL_ERROR "Directory '${PICO_SDK_PATH}' not found")
+endif ()
+
+set(PICO_SDK_INIT_CMAKE_FILE ${PICO_SDK_PATH}/pico_sdk_init.cmake)
+if (NOT EXISTS ${PICO_SDK_INIT_CMAKE_FILE})
+    message(FATAL_ERROR "Directory '${PICO_SDK_PATH}' does not appear to contain the Raspberry Pi Pico SDK")
+endif ()
+
+set(PICO_SDK_PATH ${PICO_SDK_PATH} CACHE PATH "Path to the Raspberry Pi Pico SDK" FORCE)
+
+include(${PICO_SDK_INIT_CMAKE_FILE})

source.c

@@ -0,0 +1,48 @@
+#include "source.h"
+
+int main() {
+    stdio_init_all();
+
+    /*
+    This simple program will make the Raspberry Pi Pico's LED blink slowly.
+    
+    You can then test your EMFI tool on the RP2040, 
+    e.g. in the "pin 1" corner that's marked with a dot.
+
+    If fault injection is successful, the LED will blink faster.
+    If fault injection causes the RP20240 to hang, the LED will 
+    permanently stay on or off.
+
+    After the test, just power cycle the Pi Pico.
+    */
+
+    const uint LED_PIN = PICO_DEFAULT_LED_PIN;
+    gpio_init(LED_PIN);
+    gpio_set_dir(LED_PIN, GPIO_OUT);
+
+    const uint long_cycle = 10000000;
+    const uint short_cycle = long_cycle / 4;
+
+    int num_cycles = long_cycle;
+    int led_state = 0;
+
+    while (true) {
+        // toggle LED:
+        led_state ^= 1;
+        gpio_put(LED_PIN, led_state);
+
+        // do a long loop, just incrementing counters:
+        int x1 = 0, x2 = 0, x3 = 0;
+        for (int i = 0; i < num_cycles; i++) {
+            ++x1; ++x2; ++x3;
+        }
+
+        // check whether the counters have the correct value now:
+        if (x1 != num_cycles || x2 != num_cycles || x3 != num_cycles) {
+            // no, some fault happened: now blink faster:
+            num_cycles = short_cycle;
+        }
+    }
+
+    return 0;
+}

source.h

@@ -0,0 +1,2 @@
+#include <stdio.h>
+#include "pico/stdlib.h"