diff options
author | Jenny TC <jenny.tc@intel.com> | 2017-02-09 16:16:20 +0530 |
---|---|---|
committer | Furquan Shaikh <furquan@google.com> | 2017-02-14 00:51:30 +0100 |
commit | b07d266042621e050962bb9ce814f1106d0a8bcf (patch) | |
tree | 99e956e1e0b7acd2fffad5094adfe8d9728c97a9 /src/mainboard/google/poppy/Makefile.inc | |
parent | 2864f85725e517ece5d5ce985c51b4561f81dab6 (diff) |
google/poppy: select NO_FADT_8042
Poppy doesn't support 8042 keyboard. Select
NO_FADT_8042 to disable 8042 in FADT header.
Kernel will not try to access 8042 region
if 8042.FADT=0
BUG=chrome-os-partner:61858
TEST=Boot OS and verify FADT 8042 flag
Change-Id: I00182eb4b059d4d9f0705d349dc98651e3955f0d
Signed-off-by: Jenny TC <jenny.tc@intel.com>
Reviewed-on: https://review.coreboot.org/18311
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Furquan Shaikh <furquan@google.com>
Diffstat (limited to 'src/mainboard/google/poppy/Makefile.inc')
0 files changed, 0 insertions, 0 deletions