Expand description
Tock kernel for the Nordic Semiconductor nRF52840 development kit (DK).
Modules§
- invs_
permissions 🔒 - io
- Debug Writer
Structs§
- Platform
- Supported drivers by the platform
Constants§
- APP_
STORAGE_ 🔒REGION_ SIZE - BUTTON_
RST_ 🔒PIN - FAULT_
RESPONSE 🔒 - LED1_
PIN 🔒 - LED2_
PIN 🔒 - LED3_
PIN 🔒 - LED4_
PIN 🔒 - NUM_
PROCS 🔒 - SPI_CLK 🔒
- SPI_
MISO 🔒 - SPI_
MOSI 🔒 - SPI_
MX25 🔒R6435F_ CHIP_ SELECT - SPI_
MX25 🔒R6435F_ HOLD_ PIN - SPI_
MX25 🔒R6435F_ WRITE_ PROTECT_ PIN - 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.
Type Aliases§
- Alarm
Driver 🔒 - Invs
Driver 🔒 - Mx25r6435f 🔒