First commit. Sample standalone project and build setup.

.gitignore

@@ -0,0 +1 @@
+build/

CMakeLists.txt

@@ -0,0 +1,39 @@
+cmake_minimum_required(VERSION 3.12)
+
+# Pull in SDK
+include(pico_sdk_import.cmake)
+
+project(ceda2vga C CXX ASM)
+set(CMAKE_C_STANDARD 11)
+set(CMAKE_CXX_STANDARD 17)
+
+# Initialize SDK
+pico_sdk_init()
+
+# include(example_auto_set_url.cmake)
+# Add blink example
+# add_subdirectory(blink)
+# Add hello world example
+# add_subdirectory(hello_world)
+
+add_compile_options(-Wall
+        -Wno-format          # int != int32_t as far as the compiler is concerned because gcc has int32_t as long int
+        -Wno-unused-function # we have some for the docs that aren't called
+        -Wno-maybe-uninitialized
+        )
+
+add_executable(ceda2vga
+        src/main.c
+        )
+
+pico_enable_stdio_usb(ceda2vga 1)
+pico_enable_stdio_uart(ceda2vga 0)
+
+# create map/bin/hex file etc.
+pico_add_extra_outputs(ceda2vga)
+
+# pull in common dependencies
+target_link_libraries(ceda2vga pico_stdlib)
+
+# add url via pico_set_program_url
+# example_auto_set_url(ceda2vga)

Dockerfile

@@ -0,0 +1,14 @@
+FROM ubuntu:22.04
+
+RUN apt update && apt -y upgrade && apt install -y git python3 cmake gcc-arm-none-eabi libnewlib-arm-none-eabi build-essential gcc g++ libstdc++-arm-none-eabi-newlib
+RUN useradd -m -G sudo builder
+
+USER builder
+WORKDIR /home/builder
+RUN git clone -b master https://github.com/raspberrypi/pico-sdk.git && cd pico-sdk && git submodule update --init
+# RUN git clone -b master https://github.com/raspberrypi/pico-examples.git
+# RUN git clone -b master https://github.com/raspberrypi/pico-extras.git
+# RUN git clone -b master https://github.com/raspberrypi/pico-playground.git
+
+ENV PICO_SDK_PATH=/home/builder/pico-sdk
+

build.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+
+cd /home/builder/workspace
+mkdir -p build
+cd build
+cmake ..
+make -j$(nproc)
+

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})

setup.sh

@@ -0,0 +1,4 @@
+#!/bin/sh
+
+docker build -t pico-builder .
+

src/main.c

@@ -0,0 +1,28 @@
+/**
+ * @file main.c
+ * @author giomba@glgprograms.it
+ * @brief
+ *
+ * @copyright Copyright Retrofficina GLG Programs (c) 2022
+ *
+ */
+
+#include "pico/stdlib.h"
+
+#include <stdio.h>
+
+int main() {
+  stdio_init_all();
+  unsigned int count = 0;
+
+  const uint LED_PIN = PICO_DEFAULT_LED_PIN;
+  gpio_init(LED_PIN);
+  gpio_set_dir(LED_PIN, GPIO_OUT);
+  while (true) {
+    gpio_put(LED_PIN, 1);
+    sleep_ms(5000);
+    gpio_put(LED_PIN, 0);
+    sleep_ms(5000);
+    printf("Hello world: %d\n", ++count);
+  }
+}

work.sh

@@ -0,0 +1,4 @@
+#!/bin/sh
+
+docker run --volume $(pwd):/home/builder/workspace --rm --user builder -it pico-builder /bin/bash
+