There was an error while loading. Please reload this page.
+ debugging a RIOT application which spawns a shell with gdb
added examplary link to IoT-Lab debugging section.
initial documentation about how to use the build system