Chceme li aplikaci ladit, musíme ji nejdříve přeložit s podporou ladění.  To znamená že v hlavním souboru Makefile přídáme do proměnné KLONE_CONF_ARGS přepínač --enable_debug --enable_debug.  Nyní když máme zajištěno že v přeloženém programu bude podpora ladění tuto použijeme.  Máme k tomu dva odlišné nástroje.  Prvním a jednodušším (záleží jak pro koho) jsou ladicí výpisy.  Ty se zapisují do deníku.
#include <u/libu.h> dbg_if(int value);
To be done: