Debugging

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.