+ distro = "debian11x86_64";
+
+ extraPackages = [
+ "build-essential"
+ "cmake"
+ "gcc-arm-none-eabi"
+ "libnewlib-arm-none-eabi"
+ "libstdc++-arm-none-eabi-newlib"
+ ];
+
+ debImage = pkgs.vmTools.diskImageFuns."${distro}" { inherit extraPackages; };
+
+in pkgs.vmTools.runInLinuxImage
+(pkgs.callPackage tattlekey { pico-sdk = pico-sdk; })