[  874.606129][T32488] tun: Universal TUN/TAP device driver, 1.6
[  877.131630][T32519] packetdrill (32519) used greatest stack depth: 23536 bytes left
[  887.906598][    C0] clocksource: Watchdog remote CPU 2 read timed out