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

FLASH_BOOTLOADER 🔒

METADATA_BLOCK 🔒

PANIC_RESOURCES 🔒

Resources for when a board panics used by io.rs.

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.

Type Aliases

ChipHw 🔒

ProcessPrinterInUse 🔒