[  231.705882][T11919] tun: Universal TUN/TAP device driver, 1.6
[  234.208633][T11948] packetdrill (11948) used greatest stack depth: 23392 bytes left
[  248.426513][    C0] clocksource: Watchdog remote CPU 3 read timed out