| # Copyright 2014 The Chromium OS Authors. All rights reserved. | |
| # Use of this source code is governed by a BSD-style license that can be | |
| # found in the LICENSE file. | |
| # TODO: this will ultimately use a newer kernel. We default to 3.14 for now. | |
| CHROMEOS_KERNEL_SPLITCONFIG="chromeos-intel-pineview" | |
| CHROMEOS_KERNEL_ARCH="x86_64" | |
| MARCH_TUNE="-march=corei7" |