Crate microbit_v2

Tock kernel for the Micro:bit v2.

It is based on nRF52833 SoC (Cortex M4 core with a BLE).

Modules

io

UART Writer for panic!()s.

Structs

MicroBit

Supported drivers by the platform

Constants

BUTTON_A 🔒

BUTTON_B 🔒

FAULT_RESPONSE 🔒

GPIO_P8 🔒

GPIO_P9 🔒

GPIO_P16 🔒

I2C_SCL_PIN 🔒

I2C_SDA_PIN 🔒

I2C pins for all of the sensors.

LED_KERNEL_PIN 🔒

LED_MATRIX_COLS 🔒

LED matrix

LED_MATRIX_ROWS 🔒

LED_MICROPHONE_PIN 🔒

NUM_PROCS 🔒

SPEAKER_PIN 🔒

TOUCH_LOGO 🔒

UART_RX_PIN 🔒

UART_TX_PIN 🔒

_GPIO_P0 🔒

_GPIO_P1 🔒

_GPIO_P2 🔒

Statics

CHIP 🔒

PROCESSES 🔒

PROCESS_PRINTER 🔒

STACK_MEMORY

Dummy buffer that causes the linker to reserve enough space for the stack.

Functions

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

Ieee802154RawDriver 🔒

RngDriver 🔒

TemperatureDriver 🔒