tree bf033ef0f2b81f50f30f8d432f5c318b820777cf
parent 94ec2ecc6f6e80c181d06dda456f6317fabce473
parent 6496a7b28fcb2da5794a7e286f8d6efc13510b8c
author Allan Zhang <allanzhang@google.com> 1427233555 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1427233556 +0000

Merge "Change user configurable booting init"