Sistemato bug riguardante la compilazione con gcc4
sistemato bug riguarante la compilazione con gcc4
Nuova implementazione dei semafori
Timer framework V2
Rimozione files boot/*.bin
atomic.h: bugfix e nuove routine
Operazioni atomiche e wait list
Introduzione di un framework generalizzato per i timer
Modifiche varie in shell.c (sistemati alcuni commenti)
