Jenkins: Enable the lousy lapic timer since we don't have KVM
authorKevin Klues <klueska@cs.berkeley.edu>
Wed, 28 May 2014 02:37:23 +0000 (19:37 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Wed, 28 May 2014 02:37:23 +0000 (19:37 -0700)
commit80d344addf2c4b4d89667f493bbeab685c7e53cf
treeb3eb61774eac9be67278fe446d271e688641e814
parent1def80ef1d68012b586cd6d938b9e58c2e2fe80a
Jenkins: Enable the lousy lapic timer since we don't have KVM
tools/jenkins/launcher.sh