diff options
author | David Hendricks <dhendrix@chromium.org> | 2014-11-13 15:51:00 -0800 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-04-10 20:50:47 +0200 |
commit | 1c8f2a6f968bec72a7060ba264f44fbea96d68e9 (patch) | |
tree | fb0abb3b39d3e5b77bbdc59230fd77699c98ba0e /src/mainboard/google/stout/Makefile.inc | |
parent | 5016820cc95697151552c64c14ca1e06013a881f (diff) |
veyron*: select VIRTUAL_DEV_SWITCH
Like most newer Chromebooks, Pinky and Jerry do not have physical
dev switches.
BUG=chrome-os-partner:33395
BRANCH=none
TEST=built and booted on Pinky, crossystem prints a valid value for
devsw_cur instead of an error.
Change-Id: If97ffa6f99eb31c05915f3ee82aaf6bd252d29e4
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Original-Commit-Id: db302d7286d3e7df9442928dac1d611a2c103163
Original-Change-Id: I186518a59699d293c7938221b3ae45b27361c255
Original-Signed-off-by: David Hendricks <dhendrix@chromium.org>
Original-Reviewed-on: https://chromium-review.googlesource.com/229680
Original-Reviewed-by: Julius Werner <jwerner@chromium.org>
Reviewed-on: http://review.coreboot.org/9552
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/mainboard/google/stout/Makefile.inc')
0 files changed, 0 insertions, 0 deletions