Using pins D9 & D10 on the MDBT42Q

Ahh, so the problem is that the NRF.restart callback was only added in Espruino after the 2v08 release. If you install a cutting edge build from https://www.espruino.com/binaries/travis­/master/ then you should be fine (or 2v09 or later when they are released!).

NRF.disconnect();setTimeout(function() { NRF.restart(function(){
poke32(0x4001e504,1);while(!peek32(0x400­1e400)); // enable flash writing
poke32(0x1000120c,0xfffffffe);while(!pee­k32(0x4001e400)); // NFC pins as GPIO
poke32(0x4001e504, 0);while(!peek32(0x4001e400)); // disable flash writing
}) }, 2000);