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.