Expand description
Tock kernel for the Nordic Semiconductor nRF52840 development kit (DK).
Modules§
- io
- Debug Writer
Structs§
- Platform
- Supported drivers by the platform
Constants§
- BUTTON_
RST_ 🔒PIN - FAULT_
RESPONSE 🔒 - LED1_
PIN 🔒 - LED2_
PIN 🔒 - LED3_
PIN 🔒 - LED4_
PIN 🔒 - NUM_
PROCS 🔒 - UART_
CTS 🔒 - UART_
RTS 🔒 - UART_
RXD 🔒 - UART_
TXD 🔒
Statics§
- CHIP 🔒
- PROCESSES 🔒
- 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.