Build instructions for Ubuntu:
0) apt-get install cmake gcc-arm-none-eabi libnewlib-arm-none-eabi
1) export ARMGCC_DIR=/usr
   cd KSDK_1.2.0/lib/ksdk_platform_lib/armgcc/KL27Z4
   ./build_debug.sh
2) cd "laser-tag software"
   ./build_debug.sh

Load instructions:
0) openocd
   in another terminal:
   telnet localhost 4444
   reset halt
1) in another terminal:
   gdb-multiarch -x gdb.init debug/hello_world.elf
   gdb) load
   gdb) monitor reset