NRF5 SDK v12.0 for Gablys (as a development board)
Why is this SDK for ?
This SDK is a light version of Nordic Semiconductor NRF5 SDK v12.0, especially crafted as a support of Virtualabs' blog post.
How to use ?
Download the ARMGCC toolchain from https://developer.arm.com/open-source/gnu-toolchain/gnu-rm/downloads and extract it in the toolchain directory. Then, update the components/toolchain/gcc/Makefile.posix file to point to your newly installed toolchain, and voilà !