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
>