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 Kinetis Bootloader:
0) Download the Kinetis Bootloader[0]. (registration required)
1) Extract that huge zip and find the blhost executable for your OS in the bin directory.
2) Boot your badge into the ROM boot-loader by holding the direction pad UP while pressing reset.
3) It should show up as a USB-HID device.
4) Execute:
   blhost -u -- flash-erase-all-unsecure
   blhost -u -- write-memory 0 hello_world.bin
5) Reset the badge or:
   blhost -u -- reset

Load instructions for openocd:
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

[0] http://www.nxp.com/products/microcontrollers-and-processors/arm-processors/kinetis-cortex-m/kinetis-symbols-footprints-and-models/kinetis-bootloader:KBOOT