[  884.547934][T31874] tun: Universal TUN/TAP device driver, 1.6
[  887.061098][T31906] packetdrill (31906) used greatest stack depth: 23472 bytes left
[  899.380509][    C0] clocksource: Watchdog remote CPU 1 read timed out