Crate raspberry_pi_pico_2

Tock kernel for the Raspberry Pi Pico 2.

It is based on RP2350SoC SoC (Cortex M33).

Modules

flash_bootloader 🔒

io 🔒

Structs

RaspberryPiPico2

Supported drivers by the platform

Constants

FAULT_RESPONSE 🔒

NUM_PROCS 🔒

Statics

CHIP 🔒

FLASH_BOOTLOADER 🔒

METADATA_BLOCK 🔒

PROCESSES 🔒

Static variables used by io.rs.

PROCESS_PRINTER 🔒

STACK_MEMORY 🔒

Allocate memory for the stack

Functions

get_peripherals 🔒 ^⚠

init_clocks 🔒

jump_to_bootloader 🔒 ^⚠

Entry point used for debugger

main^⚠

Main function called after RAM initialized.