.gitignore

@@ -19,3 +19,4 @@ src/cert.c
 
 CMakeCache.txt
 elf2uf2/boot_uf2_headers/CMakeFiles
+generated

generated/pico_base/pico/config_autogen.h

@@ -1,11 +0,0 @@
-// AUTOGENERATED FROM PICO_CONFIG_HEADER_FILES and then PICO_<PLATFORM>_CONFIG_HEADER_FILES
-// DO NOT EDIT!
-
-
-// based on PICO_CONFIG_HEADER_FILES:
-
-#include "/home/dan/src/kempston-mod/pico-sdk/src/boards/include/boards/pico.h"
-
-// based on PICO_RP2040_CONFIG_HEADER_FILES:
-
-#include "/home/dan/src/kempston-mod/pico-sdk/src/rp2_common/cmsis/include/cmsis/rename_exceptions.h"

generated/pico_base/pico/version.h

@@ -1,19 +0,0 @@
-/*
- * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
- *
- * SPDX-License-Identifier: BSD-3-Clause
- */
-
-// ---------------------------------------
-// THIS FILE IS AUTOGENERATED; DO NOT EDIT
-// ---------------------------------------
-
-#ifndef _PICO_VERSION_H
-#define _PICO_VERSION_H
-
-#define PICO_SDK_VERSION_MAJOR    1
-#define PICO_SDK_VERSION_MINOR    3
-#define PICO_SDK_VERSION_REVISION 1
-#define PICO_SDK_VERSION_STRING   "1.3.1"
-
-#endif