[ 1018.956503][T32399] tun: Universal TUN/TAP device driver, 1.6
[ 1036.123505][T32720] packetdrill (32720) used greatest stack depth: 23168 bytes left
[ 1037.390275][    C0] clocksource: Watchdog remote CPU 1 read timed out