Per fare il controllo del codice del kernel con GDB, lo
script `gdb-qemu' fa riferimento a delle etichette in
cui sospendere l'esecuzione. Queste etichette,
denominate `tp', `tp1', `tp2',... devono essere delle
funzioni, magari solo `void tp (void) {};', perché
così facendo si ottiene l'inserzione di tali etichette
nel codice attraverso il C.