Crate pico_explorer_base

Tock kernel for the Raspberry Pi Pico.

It is based on RP2040SoC SoC (Cortex M0+).

Modules

flash_bootloader 🔒

io 🔒

Structs

PicoExplorerBase

Supported drivers by the platform

Constants

FAULT_RESPONSE 🔒

NUM_PROCS 🔒

Statics

CHIP 🔒

FLASH_BOOTLOADER 🔒

PROCESSES 🔒

PROCESS_PRINTER 🔒

STACK_MEMORY

Allocate memory for the stack

Functions

init_clocks 🔒

jump_to_bootloader 🔒 ^⚠

Entry point used for debugger

main^⚠

Main function called after RAM initialized.

start^⚠

This is in a separate, inline(never) function so that its stack frame is removed when this function returns. Otherwise, the stack space used for these static_inits is wasted.

Type Aliases

TemperatureDriver 🔒

TemperatureRp2040Sensor 🔒