tree bb1771b6bf3afb614c6df1a2f01bb546fb219b7c
parent 1953b4959dfdfd96af09b774adb9734d07914f7a
parent 30346e9378caad8282c897126334063fafd7b785
author Jin Qian <jinqian@google.com> 1459882989 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1459882989 +0000

Merge changes I32eda2f1,Ida1ea961,I5148cc43

* changes:
  Delete vmlinux binaries
  Upgrade emulator kernels
  update_emu_kernels.sh: script to automate kernel upgrade