sorry.. I meant

The message was either

8.out PID: tsleep timer active: mode 0, tf 0xf0212b63, pc 0xf022116c

or

8.out PID: tsleep timer active: mode 0, tf 0xf0212b63, pc 0xf022028d

Dunno if it's a bug or not...

Giacomo

2017-05-18 10:13 GMT+02:00 Giacomo Tesio <giacomo@tesio.it>:

Hi, I didn't remember correctly the kernel print I saw running the test we were talking yesterday night.

The message was either

8.out PID: tsleep timer active: mode 0, tf 0xf0212b63, pc 0xf022116c