Abbiamo aggiunto delle parti di codice esclusivamente per il
debug poiche' gli strumenti a disposizione erano insufficienti.
Altre parti sono utili per verificare il corretto funzionamento del
kernel, ma rallentano l'esecuzione, percio' sono state lasciate solo
come funzionalita' per il debugging.
Tutte le parti di codice riguardanti il debugging sono racchiuse
tra #ifdef NUC_DEBUG e #endif.