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 🔒

Static variables used by io.rs.

PROCESS_PRINTER 🔒

STACK_MEMORY 🔒

Size to allocate 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

ChipHw 🔒

TemperatureDriver 🔒

TemperatureRp2040Sensor 🔒