Expand description
Tock kernel for the Nordic Semiconductor nRF52840 development kit (DK).
Modulesยง
- Debug Writer
Structsยง
- Supported drivers by the platform
Constantsยง
- BUTTO
N1_ ๐PIN - BUTTO
N2_ ๐PIN - BUTTO
N3_ ๐PIN - BUTTO
N4_ ๐PIN - 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 ๐
- PROCESS_
PRINTER ๐ - 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 ๐ - Dynamic
Binary ๐Storage - NonVolatile
Pages ๐