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_RTS 🔒

UART_RXD 🔒

UART_TXD 🔒

Statics

CHIP 🔒

PROCESSES 🔒

PROCESS_PRINTER 🔒

STACK_MEMORY

Dummy buffer that causes the linker to reserve enough space 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.