Compiling Espruino for NRF52840DK without Blutetooth

oh, yes, that's probably RTC not running because low frequency 32kHz source and/or RTC is not enabled, that is what sd_softdevice_enable does too :-( so looks like this was not really tested/used for a long time (or ever).

there is poke32 command that can access all hardware

in my NRF.stop() I have this code to let intervals running

    NRF_RTC0->TASKS_START=1; // disabling softdevice stops it, start again

so that's basically poke32(0x4000B000,1)

https://infocenter.nordicsemi.com/topic/­com.nordic.infocenter.nrf52832.ps.v1.1/r­tc.html?cp=5_2_0_24_9#topic

but maybe even the crystal or RC oscillator is not running?
https://infocenter.nordicsemi.com/topic/­com.nordic.infocenter.nrf52832.ps.v1.1/r­tc.html?cp=5_2_0_24_0#concept_fms_bjj_sr­

try the poke above first if it helps