diff options
| author |   davidjchou <david.j.chou@intel.com> | 2017-05-18 23:43:27 -0800 |
|---|---|---|
| committer |   Tim Rozet <trozet@redhat.com> | 2017-05-26 18:19:40 +0000 |
| commit | 05ab832380db398a79bbc9b7bc28993175178346 (patch) | |
| tree | e70fbaf63a453314d99324432a9b9ac0f60774c2 /ci/util.sh | |
| parent | e02b5be4ef2af55af0243dcd19ffac74fa7a052e (diff) | |
Updates the real time kvm kernel
Reduce the real time kvm kernel by stripping debug info.
Change-Id: I33335b8a9bd241ee83bc6f30bb2e819403bad491
Signed-off-by: davidjchou <david.j.chou@intel.com>
(cherry picked from commit 557e2db49051721e1b70adc4a561a2c162b0c511)
Diffstat (limited to 'ci/util.sh')
0 files changed, 0 insertions, 0 deletions