[07:31] scusate una domanda al volo: che kernel state usando?