Remove 3.10 kernel

[hercules2020/jailhouse-build.git] / .novaboot

$targets{tx1} = '--ssh=tx1@rtime.felk.cvut.cz';
$default_target = 'tx1';

1;