Crate nrf52840dk_test_kernel 

Tock kernel for the Nordic Semiconductor nRF52840 development kit (DK).

Modules

io

Debug Writer

test 🔒

Structs

Platform

Supported drivers by the platform

TestLauncher 🔒

Constants

BUTTON_RST_PIN 🔒

NUM_PROCS 🔒

UART_CTS

UART CTS pin.

UART_RTS

UART RTS pin.

UART_RXD

UART receive pin.

UART_TXD

UART transmit pin.

Statics

PANIC_RESOURCES 🔒

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

STACK_MEMORY 🔒

Size to allocate for the stack.

Functions

create_peripherals 🔒 ^⚠

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.

main^⚠

Main function called after RAM initialized.

Type Aliases

ChipHw 🔒

ProcessPrinter 🔒

SchedulerInUse 🔒