Tock kernel for the Nordic Semiconductor nRF52840 dongle.
It is based on nRF52840 SoC (Cortex M4 core with a BLE transceiver) with many exported I/O and peripherals.
Supported drivers by the platform
Dummy buffer that causes the linker to reserve enough space for the stack.
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 function called after RAM initialized.