fosdem / video-team / debian / bookworm / pico-sdk-source_2.0.0-2_all.deb
Download

pico-sdk-source_2.0.0-2_all.deb

STEP 1: Have you installed this repository?

If not, run this installation script command:

curl -s https://packagecloud.io/install/repositories/fosdem/video-team/script.deb.sh | sudo bash
copy 
curl -s https://packagecloud.io/install/repositories/fosdem/video-team/script.deb.sh | sudo bash



    

    
  


            

    
STEP 2: Install the package

      
sudo apt-get install pico-sdk-source=2.0.0-2

  


        

      

            
headers and libraries to write programs for RP2040-based devices


  
Full description:
  headers and libraries to write programs for RP2040-based devices
 The Raspberry Pi Pico SDK provides the headers, libraries and build system
 necessary to write programs for the RP2040-based devices such as the Raspberry
 Pi Pico in C, C++ or assembly language.
 .
 The SDK is designed to provide an API and programming environment that is
 familiar both to non-embedded C developers and embedded C developers alike. A
 single program runs on the device at a time and starts with a conventional
 main() method. Standard C/C++ libraries are supported along with C level
 libraries/APIs for accessing all of the RP2040's hardware include PIO.
 .
 Additionally the SDK provides higher level libraries for dealing with timers,
 synchronization, USB (TinyUSB) and multi-core programming along with various
 utilities.
 .
 The SDK can be used to build anything from simple applications, to fully
 fledged runtime environments such as MicroPython, to low level software such
 as RP2040's on-chip bootrom itself.



        
          

            
Checksums

            

  
    

      
        MD5
      
      
        d37d1315838db5756c4dd5bd5a130f1e
      
    

    

      
        SHA1
      
      
        ea068c3ec1b25b3d52a0d1ff303408a38e49cacb
      
    

    

      
        SHA256
      
      
        c0d8ec5bb527635a1f347d3d0dd630fda9574adcc5b893b47a7c73fd12564130
      
    

    

      
        SHA512
      
      
        b101801c725028dee38528d28bc5d67fe7b9e0ddf31a7e306cd98077f47b33dac27b7871de430cc6f9a0ef3ae471ef0cede8b2f07c3851b8a617d4cd325ab8b4
      
    

  



          

        




                

                  
Depends

                  
    
                    
  • cmake, gcc-arm-none-eabi, libnewlib-arm-none-eabi, libstdc++-arm-none-eabi-newlib, picotool (>= 2.0), pioasm, python3, tinyusb-source
    • 
                  

                

              

  
Files

  
    
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_divider/divider.c
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_divider/CMakeLists.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_divider/BUILD.bazel
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_dcp/include/hardware/dcp_instr.inc.S
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_dcp/include/hardware/dcp_canned.inc.S
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_dcp/doc.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_dcp/CMakeLists.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_dcp/BUILD.bazel
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_clocks/scripts/vcocalc.py
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_clocks/include/hardware/clocks.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_clocks/CMakeLists.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_clocks/clocks.c
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_clocks/BUILD.bazel
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_boot_lock/include/hardware/boot_lock.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_boot_lock/CMakeLists.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_boot_lock/BUILD.bazel
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_boot_lock/boot_lock.c
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_base/include/hardware/address_mapped.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_base/CMakeLists.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_base/BUILD.bazel
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_adc/include/hardware/adc.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_adc/CMakeLists.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_adc/BUILD.bazel
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/hardware_adc/adc.c
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/cmsis/stub/CMSIS/LICENSE.txt
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/cmsis/stub/CMSIS/Device/RP2350/Source/system_RP2350.c
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/cmsis/stub/CMSIS/Device/RP2350/Include/system_RP2350.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/cmsis/stub/CMSIS/Device/RP2350/Include/RP2350.h
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/cmsis/stub/CMSIS/Device/RP2040/Source/system_RP2040.c
    • 
      
  • /usr/src/pico-sdk/src/rp2_common/cmsis/stub/CMSIS/Device/RP2040/Include/system_RP2040.h
    • 
  








        

      

      

          

  
Uploaded

  3 months ago




  

    
Package Size

    7.42 MB
  

    

      
Installed Size

      43 MB
    




          
          

  
Downloads

  

    

      
4

    

    
  




          

  
wget

  
wget --content-disposition "https://packagecloud.io/fosdem/video-team/packages/debian/bookworm/pico-sdk-source_2.0.0-2_all.deb/download.deb?distro_version_id=215"




          
            

    
Homepage

    
      https://github.com/raspberrypi/pico-sdk/issues