When compiling a simple mBed OS2 example for the nRF52-DK, I get the following error:
Error: Cannot open source input file “device.h”: No such file or directory in “extras/mbed/platform/platform.h”, Line: 29, Col: 21
According to this page: https://os.mbed.com/cookbook/Compiler-Error-5 - it is because the mbed library version does not support this board.
However according to the platforms page - https://os.mbed.com/platforms/?mbed-os=17&tvend=11 - it does. What gives?