[  976.657111][  T503] tun: Universal TUN/TAP device driver, 1.6
[  979.223346][  T534] packetdrill (534) used greatest stack depth: 23440 bytes left
[  984.407080][    C0] clocksource: Watchdog remote CPU 3 read timed out